On 20 February 2026 16:07:01 GMT, Mirco Babin <[email protected]> wrote: >Failing early is not always possible. The compiler can not always infere >the correct return type.
PHP defines "void" separately from "null", precisely so that the compiler doesn't need to infer anything about the returned value. All it has to do is distinguish "return;" from "return some_expression;" Example: https://3v4l.org/cTaBP Rowan Tommins [IMSoP]
