> Isn’t that a form of “5. a mechanism where a pointer cannot point to an object that is more deeply scoped than itself”? That constraint is just a Tofte-Talpi

> Isn’t that a form of “5. a mechanism where a pointer cannot point to an object that is more deeply scoped than itself”? That constraint is just a Tofte-Talpin region restriction, eg. lexically scoped regions.