Greetings internals, I'm presenting a new RFC to add support for pure intersection types to PHP.
An intersection type A&B means that the value must be of type A and of type B at the same time. I'm calling this proposal pure intersection types as there would be no possibility of mixing intersection and union types, I'm leaving this as a future scope. The current draft is located on GitHub: https://github.com/Girgias/intersection-types And the current implementation PR is: https://github.com/php/php-src/pull/6799 Looking forward to the feedback. Best regards, George P. Banyard
