On 8/14/2022 12:29 AM, Tejas wrote: > Isn't this already kinda there with `T*` and `ref T`? Let's just go even farther > and call `T*` unmanaged and `ref T` managed, imo `ref` pointers have an additional property that they cannot escape their scope.