Bug 12122 – Template with enumerated constant length array causes error.

Created attachment 1323 Example D2 code to generate the error together with what causes it. When foo function is used, compile time error is seen. bugtesr.d(16): Error: template bugtesr.Test.foo does not match any function template declaration. Candidates are: bugtesr.d(4): bugtesr.Test.foo(T)(in T[Test.DATA_LENGTH] msg) if (is(T : ubyte) || is(T : char)) bugtesr.d(16): Error: template bugtesr.Test.foo(T)(in T[Test.DATA_LENGTH] msg) if (is(T : ubyte) || is(T : char)) cannot deduce template function from argument types !()(ubyte[16]) If the constant DATA_LENGTH is replaced with its real value 16, it works without a problem.

Reduced: enum N = 1; void foo(T)(T[N]) if(is(T == int)) {} void main() { int[N] data; foo(data); }

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/d17d5f1e7de00abda58596efc2ab34b4e066dfb8 fix Issue 12122 - Template with enumerated constant length array causes error https://github.com/D-Programming-Language/dmd/commit/788cef53e41b3753da49aab298a952172b9fb897 Merge pull request #3242 from 9rnsr/fix12122 Issue 12122 - Template with enumerated constant length array causes error

P.S. Kenji sorry for not closing these myself, when I set to auto-merge I tend to do some other work and I miss the notification so the issue can be closed. I guess we could use some kind of auto-close feature as well.