DIP 1017--Add Bottom Type--Community Review Round 1

[Kagamin]

On Thursday, 9 August 2018 at 10:47:37 UTC, Stefan Koch wrote:
> There is no explanation of when the additional optimizations 
> would be actually relevant,
> Usually functions that don't return abort the program anyway.

Maybe total code size.

OT: as for microoptimizations, what bugged me is a pattern when a 
method returns its first argument to enable chaining, if it 
returned void (or something like that) and the chained call 
reused the first argument of the preceding call how much that can 
save? But indeed introspection can be painful.