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

   1 struct Invariant<'a> {
   2     f: Box<dyn 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
  11     //~^ ERROR lifetime may not live long enough
  12 }
  13
  14 fn main() {
  15 }