Comment by mtmmtm

All of this is just a clone of features of java. They even copied the name from java: "escape analysis". https://en.wikipedia.org/wiki/Escape_analysis