1 files changed, 0 insertions, 27 deletions
diff --git a/src/test/ui/variance/variance-covariant-self-trait-match.rs b/src/test/ui/variance/variance-covariant-self-trait-match.rs
deleted file mode 100644
index 93c25e980..000000000
--- a/src/test/ui/variance/variance-covariant-self-trait-match.rs
+++ /dev/null
@@ -1,27 +0,0 @@
-#![allow(dead_code)]
-
-// Test that even when `Self` is only used in covariant position, it
-// is treated as invariant.
-
-trait Get {
-    fn get() -> Self;
-}
-
-fn get_min_from_max<'min, 'max, G>()
-    where 'max : 'min, G : 'max, &'max G : Get
-{
-    // Previously OK, now an error as traits are invariant.
-    impls_get::<&'min G>();
-    //~^ ERROR lifetime may not live long enough
-}
-
-fn get_max_from_min<'min, 'max, G>()
-    where 'max : 'min, G : 'max, &'min G : Get
-{
-    impls_get::<&'max G>();
-    //~^ ERROR lifetime may not live long enough
-}
-
-fn impls_get<G>() where G : Get { }
-
-fn main() { }