simplify IntersectionType->hasOffsetValueType

Author: staabm

src/Type/IntersectionType.php

@@ -973,17 +973,15 @@ private function doHasOffsetValueType(Type $offsetType): TrinaryLogic
 			}
 		}
 
-		$result = $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->hasOffsetValueType($offsetType));
-
-		if (!$result->yes() && $this->isCallable()->yes() && $this->isArray()->yes()) {
+		if ($this->isCallable()->yes() && $this->isArray()->yes()) {
 			$arrayKeyOffsetType = $offsetType->toArrayKey();
 			$callableArrayOffsetType = new UnionType([new ConstantIntegerType(0), new ConstantIntegerType(1)]);
 			if ($callableArrayOffsetType->isSuperTypeOf($arrayKeyOffsetType)->yes()) {
 				return TrinaryLogic::createYes();
 			}
 		}
 
-		return $result;
+		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->hasOffsetValueType($offsetType));
 	}
 
 	public function getOffsetValueType(Type $offsetType): Type