It has to be a bug, and taking it a step further shows that. If...

...x;
    goto Label;
    int y;
    Label:
    int z;
}

void f2(){ //compiles fine
    int x;
    goto...

...All paths that lead to the error (`goto LFail` or the "fallthrough" before `Lfail`) should...

...the unusual scoping rules, the ability to goto in and out of it, the ability...

...to understand and maybe even implement.

Conceptually, `goto default` and other constructs that transfer execution...

...your example I don't understand why `goto default` wouldn't have the same type...

...negative int" : goto default;
    default -> "some other int";
}
```
This will work _if_ `goto default` is...

...you tried to access it.

If you goto past a variable, that is a compiler...

...it as well, well... Fun.

And like goto's we don't allow you to...

...before it was initialized
        p = new<int>;
    }
```

Goto skipping initialization is already disallowed in D.