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

[ikod]

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!