With DMD 2.062, the following code fails to compile:
auto func(T)(T[2] arg){ return arg; }
static assert(is(typeof(func([1,2]))==int[2]));
The code should compile.
Comment #1 by timon.gehr — 2013-03-13T15:23:10Z
Second test case:
auto deduceLength(T,size_t n)(T[n] a){ return a; }
static assert(is(typeof(deduceLength([1,2,3]))==int[3]));
Comment #2 by timon.gehr — 2013-03-13T15:25:17Z
*** Issue 9711 has been marked as a duplicate of this issue. ***
Comment #3 by andrej.mitrovich — 2013-03-13T15:46:29Z
This would complement Issue 3652 nicely, which has a partial implementation for the upcoming 2.063.