src/test/ui/regions/regions-infer-invariance-due-to-mutability-4.rs

   1 struct Invariant<'a> {
   2     f: Box<FnOnce() -> *mut &'a isize + 'static>,
   3 }
   4
   5 fn to_same_lifetime<'r>(b_isize: Invariant<'r>) {
   6     let bj: Invariant<'r> = b_isize;
   7 }
   8
   9 fn to_longer_lifetime<'r>(b_isize: Invariant<'r>) -> Invariant<'static> {
  10     b_isize //~ ERROR mismatched types
  11 }
  12
  13 fn main() {
  14 }