what are the rules for @nogc and @safe attributes inference?

[ikod via Digitalmars-d-learn]

Hello,

what are the rules for @nogc inference? It looks like sometimes 
compiler can infer @nogc, but not in this simplest case:

int x()
{
    return 1;
}
void main() @nogc
{
    x();
}

Thanks!