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.