Cool! I wasn't aware of the RFC. Must be this one then? https://wiki.php.net/rfc/returntypehinting