DIP 1017--Add Bottom Type--Final Review

[aliak]

On Wednesday, 16 January 2019 at 04:24:34 UTC, aliak wrote:
> On Wednesday, 16 January 2019 at 01:14:58 UTC, Nicholas Wilson 
> wrote:
>> Those can all be done by an attribute. So it comes down to a 
>> cost benefit analysis: the benefits they provide are the same, 
>> except the implementation of bottom is going to be much more 
>> costly.
>
> Is it "much" more costly?
>
> What about the benefit of not being able to write code like:
>
> @noreturn int f() { ... } // wat?

Ooh and eventually getting a "top type"... ? Can't have a toptype 
attribute can you?