Bottom Type--Type Theory

[Tobias Müller]

H. S. Teoh <hsteoh at quickfur.ath.cx> wrote:
> On Thu, Jan 17, 2019 at 09:48:52PM +0100, Johannes Loher via Digitalmars-d wrote:
> [...]
>> This would still allow things like
>> ```
>> Bottom var = assert(0);
>> ```
> 
> Yes.  Though *why* you'd want to declare a variable of type Bottom -- as
> opposed to just writing the expression of type Bottom -- is a good
> question that I don't have a good answer to.
> [...]

That could be useful in generic code that is instatiated with 'Bottom'

Tobi