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