struct S

{

    auto f()

    {

    } // inferred to be @safe @nogc pure nothrow

}

​

class C

{

    auto f()

    {

    } // inferred to be @system (only)

}

​

@safe void test(S s, C c)

{

    s.f;

    c.f;

}