DIP 1017--Add Bottom Type--Final Review

[aliak]

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?