Hello internals, As we are getting closer to feature freeze I want to move this proposal forward. The RFC is now also on the wiki: https://wiki.php.net/rfc/pure-intersection-types
Composite types are left out of scope as it seems they should be handled with grouping (e.g. (A&B) | C ) and not relying on the precedence of the union operator. It should also be noted that to get this working there is some parser hackery done to circumvent the fact the it cannot resolve the ambiguity between & for an intersection type and & for by-ref arguments. Best regards, George P. Banyard
