summaryrefslogtreecommitdiffstats
path: root/src/test/ui/nll/user-annotations/normalization.rs
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/test/ui/nll/user-annotations/normalization.rs10
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
-}