Sign in
fuchsia
/
third_party
/
rust
/
7de9402b77ded0d8ec9e1c554521b2121449ef2b
/
.
/
src
/
test
/
ui
/
kindck
/
kindck-impl-type-params-2.rs
blob: d5fcc68a759cb9f971352ffc0cdfb0c388010e41 [
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 the trait bound `std::boxed::Box<{integer}>: Foo` is not satisfied
}