On 3/21/12 11:17 AM, Timon Gehr wrote:
On 03/20/2012 10:36 PM, deadalnix wrote:
Even the propagation of pure, @safe, nothrow and const that has been
discussed recently can be done with that feature.


I'm sceptical. How would that work exactly?

I, too, am highly skeptical. For one thing these attributes must be made part of the type and have deep connections with code semantics.

Andrei

Reply via email to