summaryrefslogtreecommitdiffstats
path: root/src/test/ui/regions/regions-variance-invariant-use-covariant.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/regions/regions-variance-invariant-use-covariant.rs')
-rw-r--r--src/test/ui/regions/regions-variance-invariant-use-covariant.rs21
1 files changed, 0 insertions, 21 deletions
diff --git a/src/test/ui/regions/regions-variance-invariant-use-covariant.rs b/src/test/ui/regions/regions-variance-invariant-use-covariant.rs
deleted file mode 100644
index ab6a82ee7..000000000
--- a/src/test/ui/regions/regions-variance-invariant-use-covariant.rs
+++ /dev/null
@@ -1,21 +0,0 @@
-// Test that a type which is invariant with respect to its region
-// parameter used in a covariant way yields an error.
-//
-// Note: see variance-regions-*.rs for the tests that check that the
-// variance inference works in the first place.
-
-struct Invariant<'a> {
- f: &'a mut &'a isize
-}
-
-fn use_<'b>(c: Invariant<'b>) {
-
- // For this assignment to be legal, Invariant<'b> <: Invariant<'static>.
- // Since 'b <= 'static, this would be true if Invariant were covariant
- // with respect to its parameter 'a.
-
- let _: Invariant<'static> = c;
- //~^ ERROR lifetime may not live long enough
-}
-
-fn main() { }