Bug 2355 – is() doesn't resolve aliases before template matching

template IsStatic(T : T[S], size_t S) {enum IsStatic = "true: " ~ T.stringof;} template IsStatic(T) {enum IsStatic = "false";} template IsStaticSmart(T) { static if (is(T E : E[S], size_t S)) enum IsStaticSmart = "true: " ~ E.stringof; else enum IsStaticSmart = "false"; } pragma(msg, IsStatic!(typeof("a"))); pragma(msg, IsStaticSmart!(typeof("a"))); Console output: >dmd -c test3.d true: invariant(char) false

Actually, the bug is not really a problem with static arrays. The problem is just that is() isn't resolving aliases. If you replace 'size_t' with 'int' or 'uint', it works fine. BTW the original code no longer works, since literals are now dynamic arrays, not static arrays. -------- template IsStaticSmart(T) { static if (is( T E : E[S], int S)) enum IsStaticSmart = "true: " ~ E.stringof; else enum IsStaticSmart = "false"; } alias int AliasInt; template IsStaticSmart2(T) { static if (is( T E : E[S], AliasInt S)) enum IsStaticSmart2 = "true: " ~ E.stringof; else enum IsStaticSmart2 = "false"; } char [3] z; pragma(msg, IsStaticSmart!(typeof(z))); pragma(msg, IsStaticSmart2!(typeof(z))); DMD2.028 displays: true: char false

*** Issue 5830 has been marked as a duplicate of this issue. ***

*** Issue 6304 has been marked as a duplicate of this issue. ***

https://github.com/D-Programming-Language/dmd/commit/caf0c7ff55d42002b534b4ef67f6581e1db078fe https://github.com/D-Programming-Language/dmd/commit/145d6dbc3a542bac1451dec4fb77a1823e755777