[Pitch] Non-Escapable Types and Lifetime Dependency

[xurtis (Curtis Millar)]

This might also suggest that (A) borrowing -> B and (A) inout -> B/ (A) mutating-> B imply that the function is ~Escapable because it captures its entire context either immutable or mutably by reference.