Unexpectedly nice case of auto return type

[Mike Parker]

On Tuesday, 3 December 2019 at 10:03:22 UTC, Basile B. wrote:

>
> That's interesting details of D developement. Since you reply 
> to the first message I think you have not followed but in the 
> last reply I told that maybe we should be able to name the type 
> of null. I think this relates to TBottom too a bit.

https://github.com/dlang/DIPs/blob/40352337053998885fbd0fe2718c300a322d3996/DIPs/DIP1NNN-DK.md