src/test/ui/nll/promoted-bounds.rs

   1 fn shorten_lifetime<'a, 'b, 'min>(a: &'a i32, b: &'b i32) -> &'min i32
   2 where
   3     'a: 'min,
   4     'b: 'min,
   5 {
   6     if *a < *b {
   7         &a
   8     } else {
   9         &b
  10     }
  11 }
  12
  13 fn main() {
  14     let promoted_fn_item_ref = &shorten_lifetime;
  15
  16     let a = &5;
  17     let ptr = {
  18         let l = 3;
  19         let b = &l; //~ ERROR does not live long enough
  20         let c = promoted_fn_item_ref(a, b);
  21         c
  22     };
  23
  24     println!("ptr = {:?}", ptr);
  25 }