Sign in
fuchsia
/
third_party
/
rust
/
f233a4c18bec906dab0b8531f326a15fadece547
/
.
/
src
/
test
/
ui
/
wf
/
wf-in-obj-type-static.rs
blob: 1ad2fd1edb3b8a6da4e33e3cdf131d4b3fbd9851 [
file
] [
log
] [
blame
]
// Check that we enforce WF conditions also for types in fns.
#![
allow
(
dead_code
)]
trait
Object
<
T
>
{
}
struct
MustBeCopy
<
T
:
Copy
>
{
t
:
T
}
struct
Foo
<
T
>
{
// needs T: 'static
x
:
dyn
Object
<&
'
static
T
>
//~ ERROR E0310
}
fn
main
()
{
}