Sign in
fuchsia
/
third_party
/
rust
/
08351004125c4d49aa757f2c3ec2340f7469ea91
/
.
/
src
/
test
/
ui
/
wf
/
wf-in-obj-type-trait.rs
blob: 170fad55f8f65b8786267bedaa8a55f203bd1f1f [
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
:
dyn
Object
<
MustBeCopy
<
T
>>
//~ ERROR E0277
}
fn
main
()
{
}