diff options
Diffstat (limited to 'src/test/ui/variance/variance-use-contravariant-struct-1.rs')
-rw-r--r-- | src/test/ui/variance/variance-use-contravariant-struct-1.rs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/test/ui/variance/variance-use-contravariant-struct-1.rs b/src/test/ui/variance/variance-use-contravariant-struct-1.rs new file mode 100644 index 000000000..7f5906748 --- /dev/null +++ b/src/test/ui/variance/variance-use-contravariant-struct-1.rs @@ -0,0 +1,15 @@ +// Test various uses of structs with distint variances to make sure +// they permit lifetimes to be approximated as expected. + +struct SomeStruct<T>(fn(T)); + +fn foo<'min,'max>(v: SomeStruct<&'max ()>) + -> SomeStruct<&'min ()> + where 'max : 'min +{ + v + //~^ ERROR lifetime may not live long enough +} + + +fn main() { } |