[Pitch] Non-Escapable Types and Lifetime Dependency

[ksluder (Kyle Sluder)]

This question seems particularly relevant since named lifetimes have already been effectively pitched in the form of #isolation default arguments.