This RFC has moved to [[https://wiki.php.net/rfc/return_types]].