The NaN of types (in D)

[Ola Fosheim Grøstad]

On Monday, 12 October 2020 at 12:10:39 UTC, Ola Fosheim Grøstad 
wrote:
> On Monday, 12 October 2020 at 11:55:38 UTC, Imperatorn wrote:
>> "A function whose return type is bottom cannot return any 
>> value, not even the zero size unit type. Therefore a function 
>> whose return type is the bottom type cannot return."
>
> It does not return using the normal path is what they mean, so 
> the expression takes no value.

Please note that the bottom type as a return type does not 
describe what the function does. It describes what the type of 
the expression is at the call-site.