Sign in
fuchsia
/
third_party
/
rust
/
16a8abe1bb159c4f1255533a4969590e3b7e0e61
/
.
/
src
/
test
/
ui
/
wf
/
wf-in-obj-type-trait.rs
blob: fad1da199ea910d8e39b7e5156ea3b89f7084152 [
file
] [
log
] [
blame
]
// Check that we enforce WF conditions also for types in fns.
trait
Object
<
T
>
{
}
struct
MustBeCopy
<
T
:
Copy
>
{
t
:
T
}
struct
Bar
<
T
>
{
// needs T: Copy
x
:
Object
<
MustBeCopy
<
T
>>
//~ ERROR E0277
}
fn
main
()
{
}