We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3a11b24 commit bf8e716Copy full SHA for bf8e716
src/Analyser/MutatingScope.php
@@ -3233,7 +3233,8 @@ public function filterBySpecifiedTypes(SpecifiedTypes $specifiedTypes): self
3233
$conditionalExpression->getTypeHolder()->getCertainty()->yes()
3234
&& $specifiedHolder->getCertainty()->yes()
3235
&& $conditionalTypeHolder->getCertainty()->yes()
3236
- && $guardType->isArray()->no()
+ && $guardType->isOffsetAccessible()->no()
3237
+ && TypeUtils::getAccessoryTypes($guardType) === []
3238
&& $guardType->isSuperTypeOf($specifiedType)->yes()
3239
) {
3240
$subtypeMatch = true;
0 commit comments