optimize HasOffsetValueType->isSuperTypeOf() for performance

[staabm]

the Trinary-construction via ->and() in HasOffsetValueType->isSuperTypeOf() requires php to call into all methods involved to finally combine the results via and(). even if earlier expression resolve to NO other subsequent calls need to be evaluated.

I rewrote the logic to return early instead which improves performance by ~20% when running

blackfire run php vendor/bin/phpunit tests/PHPStan/Analyser/AnalyserIntegrationTest.php --filter testBug5081

before profile

before/after comparison

refs phpstan/phpstan#7666 (comment)

[staabm]

based on the idea I am looking into building a IterativeTrinary (name tbd) so we can lazily evaluate and/or and return early. stay tuned.

[staabm]

based on the idea I am looking into building a IterativeTrinary (name tbd)

see #1566

[ondrejmirtes]

My opinion is the same as here: #1563 (comment)