On 2012-10-19 04:48, Timon Gehr wrote: > Then how to specify that the value of x cannot be escaped? > I'm in favour of doing it the other way round and disallow escaping of > ref parameters without an unsafe cast. "scope" is supposed to be used to prevent this. -- /Jacob Carlborg