The NaN of types (in D)

[Imperatorn]

On Sunday, 11 October 2020 at 12:18:59 UTC, Stefan Koch wrote:
> Good Morning,
>
> today I would like to write about something which came up while 
> implementing type functions.
>
> [...]

Btw, wouldn't this be solved if/when DIP1017 is passed?

alias Tbottom = typeof(assert(0));