1 files changed, 0 insertions, 24 deletions
diff --git a/src/test/ui/mir/field-projection-invariant.rs b/src/test/ui/mir/field-projection-invariant.rs
deleted file mode 100644
index b5d6add043c..00000000000
--- a/src/test/ui/mir/field-projection-invariant.rs
+++ /dev/null
@@ -1,24 +0,0 @@
-// build-pass
-struct Inv<'a>(&'a mut &'a ());
-enum Foo<T> {
-    Bar,
-    Var(T),
-}
-type Supertype = Foo<for<'a> fn(Inv<'a>, Inv<'a>)>;
-
-fn foo(x: Foo<for<'a, 'b> fn(Inv<'a>, Inv<'b>)>) {
-    match x {
-        Supertype::Bar => {}
-        Supertype::Var(x) => {}
-    }
-}
-
-fn foo_nested(x: Foo<Foo<for<'a, 'b> fn(Inv<'a>, Inv<'b>)>>) {
-    match x {
-        Foo::Bar => {}
-        Foo::Var(Supertype::Bar) => {}
-        Foo::Var(Supertype::Var(x)) => {}
-    }
-}
-
-fn main() {}