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