Sign in
fuchsia
/
third_party
/
rust
/
20d43d03dd27568f609d621ce44673393e838892
/
.
/
src
/
test
/
ui
/
nll
/
user-annotations
/
normalization.rs
blob: 870e3d8110cd5e34b487a02157a0da808d240da1 [
file
] [
log
] [
blame
]
// Test that we enforce a `&'static` requirement that is only visible
// after normalization.
trait
Foo
{
type
Out
;
}
impl
Foo
for
()
{
type
Out
=
&
'
static
u32
;
}
fn
main
()
{
let
a
=
22
;
let
b
:
<()
as
Foo
>::
Out
=
&
a
;
//~ ERROR
}