Why doesn’t the compiler differentiate between, “Not all control paths return a value” and “None of the control paths return a value; forget a return statement, dummy?”