Sign in
fuchsia
/
third_party
/
rust
/
11a0b968c287c81680387ffcf112328d52d7e815
/
.
/
src
/
test
/
ui
/
kindck
/
kindck-impl-type-params-2.rs
blob: ac9cc1a08f33dd269cdc58499a6f529d85370231 [
file
] [
log
] [
blame
]
#![
feature
(
box_syntax
)]
trait
Foo
{
}
impl
<
T
:
Copy
>
Foo
for
T
{
}
fn
take_param
<
T
:
Foo
>(
foo
:
&
T
)
{
}
fn
main
()
{
let
x
:
Box
<
_
>
=
box
3
;
take_param
(&
x
);
//~^ ERROR `std::boxed::Box<{integer}>: std::marker::Copy` is not satisfied
}