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