[Pitch] Non-Escapable Types and Lifetime Dependency

Those are actually independent proposals. A few of us are focusing on the ~Escapable type property right now specifically because of the StorageView type, which requires something along these lines in order to provide strong safety guarantees.

The argument modifier is still interesting and I hope we'll have time to work on that sometime soon (if no-one else beats us to it :wink:).

Good question! That seems like a reasonable thing to me, but @Andrew_Trick knows the technical details better than I do. (It may not be something we'll be able to implement in the initial release of this feature.)

Thank you for pointing that out! Fixed.

1 Like