H. S. Teoh:

Doesn't it already?

Right, this:

class Foo {}
void main() @safe {
     const f1 = new Foo;
     auto f2 = cast(Foo)f1;
}


Gives:
test.d(5): Error: cast from const(Foo) to test.Foo not allowed in
safe code

Bye,
bearophile

Reply via email to