1 files changed, 0 insertions, 23 deletions
diff --git a/src/test/ui/regions/regions-variance-covariant-use-covariant.rs b/src/test/ui/regions/regions-variance-covariant-use-covariant.rs
deleted file mode 100644
index c5c80ce54..000000000
--- a/src/test/ui/regions/regions-variance-covariant-use-covariant.rs
+++ /dev/null
@@ -1,23 +0,0 @@
-// run-pass
-#![allow(dead_code)]
-// Test that a type which is covariant with respect to its region
-// parameter is successful when used in a covariant way.
-//
-// Note: see ui/variance/variance-regions-*.rs for the tests that
-// check that the variance inference works in the first place.
-
-// This is covariant with respect to 'a, meaning that
-// Covariant<'foo> <: Covariant<'static> because
-// 'foo <= 'static
-// pretty-expanded FIXME #23616
-
-struct Covariant<'a> {
-    f: extern "Rust" fn(&'a isize)
-}
-
-fn use_<'a>(c: Covariant<'a>) {
-    // OK Because Covariant<'a> <: Covariant<'static> iff 'a <= 'static
-    let _: Covariant<'static> = c;
-}
-
-pub fn main() {}