On Thursday, 9 August 2018 at 04:16:45 UTC, Uknown wrote:
I would like to point out that C++ does this with attributes
instead[0]. If this was an attribute instead (like
`@noreturn`), it would simplify interfacing with C++. It would
also avoid the breaking change.
[0]: eel.is/c++draft/DCL.attral.noreturn
The DIP mentions that, (e.g. I also don't like the syntax
"@noreturn int fun()"),
but I don't understand what "other uses" of a type tBottom there
are, which
the DIP states are not possible in C++.
Especially I want a section that explains how tBottom is
different from void in such situations.
For functions that don't return it's clear, but else?