src/test/ui/variance/variance-use-contravariant-struct-2.rs

   1 // Test various uses of structs with distinct variances to make sure
   2 // they permit lifetimes to be approximated as expected.
   3
   4 #![allow(dead_code)]
   5 // build-pass (FIXME(62277): could be check-pass?)
   6
   7 struct SomeStruct<T>(fn(T));
   8
   9 fn bar<'min,'max>(v: SomeStruct<&'min ()>)
  10                   -> SomeStruct<&'max ()>
  11     where 'max : 'min
  12 {
  13     v
  14 }
  15
  16
  17 fn main() { }