diff options
Diffstat (limited to 'src/test/ui/nll/user-annotations/normalization.rs')
-rw-r--r-- | src/test/ui/nll/user-annotations/normalization.rs | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/test/ui/nll/user-annotations/normalization.rs b/src/test/ui/nll/user-annotations/normalization.rs deleted file mode 100644 index 870e3d811..000000000 --- a/src/test/ui/nll/user-annotations/normalization.rs +++ /dev/null @@ -1,10 +0,0 @@ -// 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 -} |