On Saturday, 7 July 2018 at 13:03:32 UTC, rikki cattermole wrote:
void func() { return;func2(); } Which is clearly an error. Hence why you need to add else block.
There is no error in this generated code because func2 is unreachable. That there is a state/stage during compilation in which the call to func2 exists and is checked is an implementation detail which IMHO shall not be exposed to the user.