ReturnNotExhaustive not thrown in `if` without `else`
The following code type-checks, although nothing is returned if the condition is false:
int test(bool b) {
if (b) {
return 1;
}
}
The following code type-checks, although nothing is returned if the condition is false:
int test(bool b) {
if (b) {
return 1;
}
}