Bug 24116 – noreturn not accepted as argument of a template value parameter

Status
RESOLVED
Resolution
INVALID
Severity
normal
Priority
P1
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2023-08-27T08:04:30Z
Last change time
2023-08-27T08:11:06Z
Keywords
rejects-valid
Assigned to
No Owner
Creator
Basile-z

Comments

Comment #0 by b2.temp — 2023-08-27T08:04:30Z
For the following code ``` int v(int e)() { return e + 0; } int main() { return v!(noreturn)(); } ``` dmd exits with: > temp_7F361AD45870.d:8:12: Error: template instance `v!(noreturn)` does not match template declaration `v(int e)()` But noreturn is supposed to implictly convert to `int`