DIP 1017--Add Bottom Type--Final Review

[Johannes Loher]

Am 17.01.19 um 15:21 schrieb Jonathan Marler:
> The DIP says this:
> 
>     Any attempt to use the value of a Tbottom expression is an error.
> 
> What does this mean? Just before this statement, we see a set of
> examples of how TBottom can be "used" inside expressions, i.e.
> 
>     a || b
> 
> So what does that statement mean then?
> 

I asked the same question earlier. What I _think_ it means is that you
can never assign it to a variable, instanciate a variable with it or
pass it to functions (maybe I forgot a few things). The main idea is
that you can not use it in such a way, that you would actually need a value.