Non-Lexical Lifetimes Based on Liveness in Rust(smallcultfollowing.com)

  let a = 1
  begin block scope {
    let b = pointer to a
    do_stuff(b)
  } // end block scope and b is dead
  do_other_stuff (a)

  let a = 1
  begin block scope {
    let b = pointer to a
    do_stuff(b)
  } // end block scope and b is dead
  do_other_stuff (a)
  // ... etc etc
  do_more_stuff(b) // is obviously broken, b is not in scope

  let a = 1
  begin block scope {
    let b = pointer to a
    do_stuff(b)
    do_other_stuff (a) // is obviously broken, b is not dead
    // ... etc etc
    do_more_stuff(b)
  } // end block scope way down here