Bug 4097 – Error: can only declare type aliases within static if conditionals

Look at this code: ---------------- void foo() { } alias typeof(&foo) T; // works static if (is(T X : X*) && is(X == function)) {} else { static assert(false); } // doesn't work // Error: can only declare type aliases within static if conditionals static assert(is(T X : X*) && is(X == function)); ---------------- This looks really silly. Couldn't that restriction be lifted? The alias would be only valid within the expression and wouldn't require a static if.

I think you're right. https://github.com/D-Programming-Language/dmd/commit/7588ca35c5e723a8fccfbfc1db684114aa1e29aa