[Issue 16222] empty array literal should have type noreturn[]

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16222

--- Comment #3 from Nick Treleaven  ---
> we need a typeof([]) that implicitly converts to any T[] (unlike void[]).

That would be `noreturn[]`:
https://github.com/dlang/DIPs/blob/master/DIPs/accepted/DIP1034.md#the-type-of-the-empty-array-literal

--

[Issue 16222] empty array literal should have type noreturn[]

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16222

Iain Buclaw  changed:

   What|Removed |Added

   Priority|P1  |P3

--

[Issue 16222] empty array literal should have type noreturn[]

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=16222

Nick Treleaven  changed:

   What|Removed |Added

 CC||n...@geany.org
Summary|template failed to  |empty array literal should
   |infer/coerce types for  |have type noreturn[]
   |instantiation   |

--