-
Enhancement
-
Resolution: Fixed
-
P2
-
None
We went back and forth a bit with this and we ended up using MemorySegment.Scope as a parameter for MemorySegment::reinterpret.
While this has good aesthetic properties (all overloads can be expressed in terms of each other), there is a subtle action at a distance: the segment returned by `reinterpret` has the same confinement properties as that of the arena to which the scope belongs to. That is, from an API perspective, it's as if the scope also carried some extra confinement properties that are not visible.
For these reasons, we should change the signature of the method to just accept an arena.
While this has good aesthetic properties (all overloads can be expressed in terms of each other), there is a subtle action at a distance: the segment returned by `reinterpret` has the same confinement properties as that of the arena to which the scope belongs to. That is, from an API perspective, it's as if the scope also carried some extra confinement properties that are not visible.
For these reasons, we should change the signature of the method to just accept an arena.