class A

{

    @safe void talk() {}

}

class B : A

{

    override void talk() @system

    {

    }

}

​

void f() @system {}

​

@safe void main()

{

    auto b = new B;

    b.talk();

}