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.