Bug report

I'm currently working to polish code on branch 1.1 of my project https://github.com/llaville/sarif-php-sdk with help of PHPStan

And I've noticed a possible regression between version 1.10.10 and 1.10.51 !

All seems good with 1.10.51

But I got at least one issue not detected with 1.10.51, but 1.10.10 found it

My config file is :

parameters:
    level: 9
    paths:
        - ../../src/
        - ../../examples/
    treatPhpDocTypesAsCertain: false
    ignoreErrors:
        -
            message: "#^Unreachable statement \\- code above always terminates\\.$#"
            path: ../../src/SarifLog.php

Code snippet that reproduces the problem

https://phpstan.org/r/e1376c55-7033-4477-a8f4-31f960cd4797

Expected output

[ERROR] Found 1 error

Did PHPStan help you today? Did it make you happy in any way?

No response