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