Hello internals, I would like to open the discussion on the Disjunctive Normal Form (DNF) types RFC: https://wiki.php.net/rfc/dnf_types
The implementation for it is available on my fork, [1] but currently relies on a pending PR [2] to make the implementation simpler. DNF types are a way to mix intersection and union types together in a single type. For example: - (A&B)|null - (Traversable&Countable)|array Best regards, George P. Banyard [1] https://github.com/Girgias/php-src/pull/10 [2] https://github.com/php/php-src/pull/7309
