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