Bug 1129 – ICE, expression.c line 6246, accessing element of a tuple built from a nonexistent array element

template Foo(T...) { typeof(T[0]) x; } alias Foo!(""[$]) foo; // can't use e.g. [][0] because it's detected as out of bounds -- Output of the above: asdf.d(5): Error: expression [][__dollar] is not a valid template value argument Assertion failure: 'e1->type' on line 6246 in file 'expression.c' abnormal program termination -- Using "" in place of [] as an empty array instead generates the rather incorrect error message: asdf.d(5): Error: string index 0 is out of bounds [0 .. 43867541830893568]

I can't reproduce the assertion with DMD-1.011 but I do get a funny error message: a.d(16): Error: string index 0 is out of bounds [0 .. 14721601702461440] Strictly speaking the sample should compile because the compiler claims that the array contains 14721601702461441 elements and thus there has to be a first element <g>

Yes, I show that error message at the end of the post as well. My mistake that I left the ""[$] in the example code: use [][$] instead of ""[$], and it asserts as late as 1.013. In 1.014, I get the following errors, so I'm marking this as FIXED: asdf.d(5): Error: expression [][__dollar] is not a valid template value argument asdf.d(2): variable asdf.Foo!([][__dollar]).x voids have no value asdf.d(5): template instance asdf.Foo!([][__dollar]) error instantiating I'll file a separate Bug for the ""[$] issue.