Sign in
fuchsia
/
third_party
/
rust
/
7de9402b77ded0d8ec9e1c554521b2121449ef2b
/
.
/
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
()
{
}