The NaN of types (in D)

[Imperatorn]

On Monday, 12 October 2020 at 08:52:22 UTC, Ola Fosheim Grøstad 
wrote:
> On Monday, 12 October 2020 at 06:41:26 UTC, Imperatorn wrote:
>> The empty type cannot be a return type
>
> It can be a return type, but you probably meant that a function 
> with a bottom type as a return value does to return normally.
>
> A function that always returns by exception would have a bottom 
> type as the return type.

"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."