Fix

Author: VincentLanglet

src/Analyser/MutatingScope.php

@@ -3234,14 +3234,11 @@ public function filterBySpecifiedTypes(SpecifiedTypes $specifiedTypes): self
 
 				foreach ($conditionalExpressions as $conditionalExpression) {
 					foreach ($conditionalExpression->getConditionExpressionTypeHolders() as $holderExprString => $conditionalTypeHolder) {
-						if (!array_key_exists($holderExprString, $specifiedExpressions)) {
-							continue 2;
-						}
-						$specifiedHolder = $specifiedExpressions[$holderExprString];
-						if (!$specifiedHolder->getCertainty()->equals($conditionalTypeHolder->getCertainty())) {
-							continue 2;
-						}
-						if (!$conditionalTypeHolder->getType()->isSuperTypeOf($specifiedHolder->getType())->yes()) {
+						if (
+							!array_key_exists($holderExprString, $specifiedExpressions)
+							|| !$specifiedExpressions[$holderExprString]->getCertainty()->equals($conditionalTypeHolder->getCertainty())
+							|| !$conditionalTypeHolder->getType()->isSuperTypeOf($specifiedExpressions[$holderExprString]->getType())->yes()
+						) {
 							continue 2;
 						}
 					}

tests/PHPStan/Analyser/nsrt/bug-6663.php

@@ -1,4 +1,4 @@
-<?php
+<?php // lint >= 8.0
 
 declare(strict_types = 1);