about summary refs log tree commit diff
path: root/src/test/ui/variance/variance-use-covariant-struct-1.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/variance/variance-use-covariant-struct-1.rs')
-rw-r--r--src/test/ui/variance/variance-use-covariant-struct-1.rs8
1 files changed, 7 insertions, 1 deletions
diff --git a/src/test/ui/variance/variance-use-covariant-struct-1.rs b/src/test/ui/variance/variance-use-covariant-struct-1.rs
index e19a35bdfac..3e3e76d9792 100644
--- a/src/test/ui/variance/variance-use-covariant-struct-1.rs
+++ b/src/test/ui/variance/variance-use-covariant-struct-1.rs
@@ -1,13 +1,19 @@
 // Test that a covariant struct does not permit the lifetime of a
 // reference to be enlarged.
 
+// revisions: base nll
+// ignore-compare-mode-nll
+//[nll] compile-flags: -Z borrowck=mir
+
 struct SomeStruct<T>(T);
 
 fn foo<'min,'max>(v: SomeStruct<&'min ()>)
                   -> SomeStruct<&'max ()>
     where 'max : 'min
 {
-    v //~ ERROR mismatched types
+    v
+    //[base]~^ ERROR mismatched types
+    //[nll]~^^ ERROR lifetime may not live long enough
 }
 
 fn main() { }