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
