Flix has regions which also restrict the scope of certain values. Seems like a similar concept. And D has “scope” and “return scope” to describe when variables are intended to not escape (unless returned in the latter case).

As does C#, after they decided to incorporate Midori learnings, and C++/CLI wasn't going to be cross-platform, so C# needed to improve its low level capabilities.