Sign in
fuchsia
/
third_party
/
rust
/
7bade6ef730cff83f3591479a98916920f66decd
/
.
/
src
/
test
/
ui
/
traits
/
check-trait-object-bounds-1.rs
blob: b1f124c7ea26aedbb3774e02d6d8f99ba2f4d6e1 [
file
] [
log
] [
blame
]
// Check that we validate associated type bounds for trait objects
trait
X
{
type
Y
:
Clone
;
}
fn
f
<
T
:
X
+
?
Sized
>()
{
None
::<
T
::
Y
>.
clone
();
}
fn
main
()
{
f
::<
dyn X
<
Y
=
str
>>();
//~^ ERROR the trait bound `str: Clone` is not satisfied
}