proposed @noreturn attribute

[Tobias Müller via Digitalmars-d]

Timon Gehr <timon.gehr at gmx.ch> wrote:
> [...]
> What I am saying is: in a language with a bottom type, we can create a 
> function:
> 
> T f(T)(Bottom b){
>     return b; // assuming b converts to all types implicitly.
> }
> 
> Within the function body, b is a value of type Bottom.
> We use a value of type Bottom to create a value of any type we want.

As I understand it, you can create *variables* of type Bottom but not
*values*.
b is a variable, not a value, you cannot actually call that function at
runtime.