Bottom Type--Type Theory

[Neia Neutuladh]

On Thu, 17 Jan 2019 21:48:52 +0100, Johannes Loher wrote:
> I don't actually think declaring a variable of the Bottom type is
> required to be illegal. It just needs to be impossible for it to ever be
> initialized.

Which runs into default-initialization, so that's not awesome. But the 
same is true of structs with `@disable this();`

If we treated them the same, you'd still be able to write:

    TBottom var = void;
    doStuff(var);

That's...not awesome.