Use AccessoryArrayListType for intersection

herndlm · herndlm · commit d1584887a2da · 2024-11-27T21:22:46.000+01:00
diff --git a/src/Type/IntersectionType.php b/src/Type/IntersectionType.php
@@ -760,7 +760,7 @@ public function setOffsetValueType(?Type $offsetType, Type $valueType, bool $uni
 		$result = $this->intersectTypes(static fn (Type $type): Type => $type->setOffsetValueType($offsetType, $valueType, $unionValues));
 
 		if ($offsetType !== null && $this->isList()->yes() && $this->isIterableAtLeastOnce()->yes() && (new ConstantIntegerType(1))->isSuperTypeOf($offsetType)->yes()) {
-			$result = TypeCombinator::intersect($result, new AccessoryArrayListType());
+			$result = AccessoryArrayListType::intersectWith($result);
 		}
 
 		return $result;

Original file line number	Diff line number	Diff line change
`@@ -760,7 +760,7 @@ public function setOffsetValueType(?Type $offsetType, Type $valueType, bool $uni`
`760`	`760`	`$result = $this->intersectTypes(static fn (Type $type): Type => $type->setOffsetValueType($offsetType, $valueType, $unionValues));`
`761`	`761`
`762`	`762`	`if ($offsetType !== null && $this->isList()->yes() && $this->isIterableAtLeastOnce()->yes() && (new ConstantIntegerType(1))->isSuperTypeOf($offsetType)->yes()) {`
`763`		`- $result = TypeCombinator::intersect($result, new AccessoryArrayListType());`
	`763`	`+ $result = AccessoryArrayListType::intersectWith($result);`
`764`	`764`	`}`
`765`	`765`
`766`	`766`	`return $result;`