[Issue 23364] returning bottom type by ref should work
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Fri May 12 14:37:11 UTC 2023
https://issues.dlang.org/show_bug.cgi?id=23364
Vladimir Panteleev <dlang-bugzilla at thecybershadow.net> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |dlang-bugzilla at thecybershad
| |ow.net
--- Comment #1 from Vladimir Panteleev <dlang-bugzilla at thecybershadow.net> ---
Worked before https://github.com/dlang/dmd/pull/14187 , though I'm not sure if
this is something that should work... The conclusion makes sense to me only
with a rather literal interpretation of the definition of noreturn in object -
we "undo" the null pointer dereference by using "ref". With an alternative
definition of noreturn, e.g. `typeof(assert(false))`, I'm not sure that this
makes sense any more.
--
More information about the Digitalmars-d-bugs
mailing list