[Issue 21955] CastExp of noreturn is rejected by the backend
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Mon May 24 16:18:29 UTC 2021
https://issues.dlang.org/show_bug.cgi?id=21955
moonlightsentinel at disroot.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |backend
CC| |moonlightsentinel at disroot.o
| |rg
Hardware|x86_64 |All
Summary|CastExp of noreturn is |CastExp of noreturn is
|detected too late |rejected by the backend
OS|Linux |All
--- Comment #1 from moonlightsentinel at disroot.org ---
The cast is valid because the bottom type is implicitly convertible to any
type. But the DIP requires the code to abort as soon as a is accessed, so the
backend must emit the appropriate code instead of generating this error
--
More information about the Digitalmars-d-bugs
mailing list