Incorrect union type report in try catch

[kaliberx]

$ cat error.php
<?php

try {
    // nothing
} catch (Exception|RuntimeException) {
}

 ./phpcs.phar --standard=PSR12 error.php

FILE: .../error.php
---------------------------------------------------------------------------
FOUND 2 ERRORS AFFECTING 1 LINE
---------------------------------------------------------------------------
 5 | ERROR | [x] Expected at least 1 space before "|"; 0 found
 5 | ERROR | [x] Expected at least 1 space after "|"; 0 found
---------------------------------------------------------------------------
PHPCBF CAN FIX THE 2 MARKED SNIFF VIOLATIONS AUTOMATICALLY
---------------------------------------------------------------------------

Expected behavior

No error reported.

Please confirm

Sorry, tested on 3.10.3, not on the master.

[jrfnl]

@kaliberx And that's exactly as it should be per: https://www.php-fig.org/psr/psr-12/#56-try-catch-finally

Keep in mind that when PSR12 was written, the concept of "union types" in PHP didn't exist yet. The expression in a catch condition is seen as a bitmask with a bitwise or operator, not a union type.