"Allocates a class object right inside the current scope, therefore avoiding the overhead of new. This facility is unsafe; it is the responsibility of the user to not escape a reference to the object outside the scope."https://dlang.org/phobos/std_typecons.html#.scoped
Why doesn't DIP-1000 include such escape analysis?
