PHP: rfc:pure-intersection-types
wiki.php.net