DIP 1017--Add Bottom Type--Community Review Round 1

[Dominikus Dittes Scherkl]

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?