Cleanup ArrayType->tryRemove()

staabm · staabm · commit f06dcd7ddc9e · 2026-05-26T13:53:06.000+02:00
diff --git a/src/Type/ArrayType.php b/src/Type/ArrayType.php
@@ -863,10 +863,6 @@ public function traverseSimultaneously(Type $right, callable $cb): Type
 
 	public function tryRemove(Type $typeToRemove): ?Type
 	{
-		if ($typeToRemove->isConstantArray()->yes() && $typeToRemove->isIterableAtLeastOnce()->no()) {
-			return TypeCombinator::intersect($this, new NonEmptyArrayType());
-		}
-
 		if ($typeToRemove->isSuperTypeOf(new ConstantArrayType([], []))->yes()) {
 			return TypeCombinator::intersect($this, new NonEmptyArrayType());
 		}

Original file line number	Diff line number	Diff line change
`@@ -863,10 +863,6 @@ public function traverseSimultaneously(Type $right, callable $cb): Type`
`863`	`863`
`864`	`864`	`public function tryRemove(Type $typeToRemove): ?Type`
`865`	`865`	`{`
`866`		`- if ($typeToRemove->isConstantArray()->yes() && $typeToRemove->isIterableAtLeastOnce()->no()) {`
`867`		`- return TypeCombinator::intersect($this, new NonEmptyArrayType());`
`868`		`- }`
`869`		`-`
`870`	`866`	`if ($typeToRemove->isSuperTypeOf(new ConstantArrayType([], []))->yes()) {`
`871`	`867`	`return TypeCombinator::intersect($this, new NonEmptyArrayType());`
`872`	`868`	`}`