Jason House wrote: > At a fundamental level, safety isn't about pointers or references to > stack variables, but rather preventing their escape beyond function > scope. Scope parameters could be very useful. Scope delegates were > introduced for a similar reason. The problem is, they aren't so easy to prove correct.