[Pitch] Non-Escapable Types and Lifetime Dependency

[CrystDragon (Lincoln Wu)]

Sorry, I just realized there's a new thread.

@John_McCall could you please move my last comment to [Pitch #2] Lifetime dependencies for non-`Escapable` values?