[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