I don't want to spam the user with more of these messages, one of them is enough. But I'd accept a PR that adds this information to UnreachableStatementNode as a new getter, something like getNextStatements(): array<Stmt>.

I see, I will try

@ondrejmirtes implemented 👍 , I added addNextStatement() and getNextStatements() methods

@ondrejmirtes I am not sure how unit test error is related:

There was 1 failure:

1) PHPStan\Analyser\NodeScopeResolverTest::testFile with data set "D:\a\phpstan-src\phpstan-src\tests\PHPStan\Analyser\nsrt\generic-unions.php" ('D:\a\phpstan-src\phpstan-src\...ns.php')
Failed assertions in D:\a\phpstan-src\phpstan-src\tests\PHPStan\Analyser\nsrt\generic-unions.php:

Line 120:
Expected: 3|'foo'
Actual:   mixed

could you help verify? thank you.

@ondrejmirtes it seems working ok now, Ready to merge 👍

I will try

I've added test for getNextStatements() 1083c0b

@ondrejmirtes test added, Ready to merge 👍

@ondrejmirtes mergeable?

@ondrejmirtes Rebased 👍

I just pushed some test adjustments and a failing test for you.

The output for testRuleTopLevel is currently wrong. See: https://phpstan.org/r/7a2aafcd-10b3-405d-9402-90037f780059 - the top level function is not considered unreachable currently by PHPStan. But it's included in your "next statements" which is wrong.

@ondrejmirtes I've fixed handling top level function 2427d86 👍

Thank you.

Thank you @ondrejmirtes I will test on rector-src 👍

linked PR on rector-src for future reference, tested the UnreachableStatementNode::getNextStatements() and it seems working ok 🎉, see

• [PHPStan ^2.1.1] Handle next unreachable statement via UnreachableStatementNode->getNextUnreachableStatements() rectorphp/rector-src#6642