1 files changed, 0 insertions, 27 deletions
diff --git a/src/test/ui/regions/regions-variance-contravariant-use-contravariant.rs b/src/test/ui/regions/regions-variance-contravariant-use-contravariant.rs
deleted file mode 100644
index e63778670..000000000
--- a/src/test/ui/regions/regions-variance-contravariant-use-contravariant.rs
+++ /dev/null
@@ -1,27 +0,0 @@
-// run-pass
-#![allow(dead_code)]
-#![allow(unused_variables)]
-// Test that a type which is contravariant with respect to its region
-// parameter compiles successfully when used in a contravariant way.
-//
-// Note: see ui/variance/variance-regions-*.rs for the tests that check that the
-// variance inference works in the first place.
-
-// pretty-expanded FIXME #23616
-
-struct Contravariant<'a> {
-    f: &'a isize
-}
-
-fn use_<'a>(c: Contravariant<'a>) {
-    let x = 3;
-
-    // 'b winds up being inferred to this call.
-    // Contravariant<'a> <: Contravariant<'call> is true
-    // if 'call <= 'a, which is true, so no error.
-    collapse(&x, c);
-
-    fn collapse<'b>(x: &'b isize, c: Contravariant<'b>) { }
-}
-
-pub fn main() {}