DIP 1017--Add Bottom Type--Final Review

[Neia Neutuladh]

On Wed, 16 Jan 2019 08:09:39 +0000, Johannes Loher wrote:
> This is not completely accurate. Nothing actually is the bottom type in
> Kotlin in the sense that it DOES implicitly convert to any type. E.g.

Thank you for the correction.

> I actually also think it is correct to do the same for `void`, but
> `void` should even a single value and thus it should be default
> constructible and have an `init` property. As I mentioned earlier in
> this thread, this would make `void` a proper unit type, drawing a clear
> line between `Tbottom` and `void`. It is however very complicated to get
> this to work with C-interoperability.

I very much agree with void being a proper type. It's an annoying special 
case for generic code as is.