Bug 196 – Static assertion involving typedef's base type fails strangely

I need to static assert that a typedef's base type is equal to int. I tried the code below, but it fails with the message "static assert (is(int == int)) is false". If this is not meant to work, this is a bug in the sense that the error message makes no sense; if this is meant to work, it's a bug in the sense that it doesn't work. In the former case, feel free to change the priority, severity, and keywords to match: I'm currently assuming that this should work. -- typedef int x; static assert (is (typeof(typeid(x).base) == int)); -- Also, there's an extra space between "assert" and "(is" in the error message.

The error message is incorrect, the assert should fail regardless. # # static assert (is (typeof(typeid(x).base) == int)); # x -> (typedef int) typeid(x) -> TypeInfo_Typedef(x) typeid(x).base -> TypeInfo(int) typeof(typeid(x).base) -> TypeInfo Thus rewriting the above assert: # # static assert(is(TypeInfo == int)); # To ensuring that a typedef's direct base type is an int: # # typedef byte X; # # static if(is(X == typedef) && is(X base == typedef)){ # static assert(is(typeof(base) == int)); # } #

Thomas' code is almost correct. The correct code would be: typedef int X; static if (is(X base == typedef)) { static assert(is(base == int), "base of typedef X is not int"); } else { static assert(0, "X is not a typedef"); }