No DNF For Catch

no-email (Damien Seguy), Damien Seguy
Tue, 20 Feb 2024 00:00:00 +0000

Catch clauses accept multiple types of exceptions, since PHP 7.1: they are listed with the '|' separator.
This looks like the union type of PHP 8.0, and actually acts like it.
Yet, this is not a normal type, because the intersectional and the DNF format are not supported at parsing time. Thus, the two expressions below generate an error.