Simplify

VincentLanglet · VincentLanglet · commit fa23f75b6bf7 · 2026-02-28T16:57:27.000+01:00
diff --git a/src/Type/StaticType.php b/src/Type/StaticType.php
@@ -369,11 +369,8 @@ private function transformStaticType(Type $type, ClassMemberAccessAnswerer $scop
 					$type = new self($type->getClassReflection(), $type->getSubtractedType());
 				}
 
-				if ($this->getSubtractedType() !== null && $type->getSubtractedType() === null) {
-					$type = $type->changeSubtractedType($this->getSubtractedType());
-					if (!$type instanceof StaticType) {
-						return $traverse($type);
-					}
+				if ($this->getSubtractedType() !== null) {
+					$type = $type->subtract($this->getSubtractedType());
 				}
 
 				if (!$isFinal || $type instanceof ThisType) {

Original file line number	Diff line number	Diff line change
`@@ -369,11 +369,8 @@ private function transformStaticType(Type $type, ClassMemberAccessAnswerer $scop`
`369`	`369`	`$type = new self($type->getClassReflection(), $type->getSubtractedType());`
`370`	`370`	`}`
`371`	`371`
`372`		`- if ($this->getSubtractedType() !== null && $type->getSubtractedType() === null) {`
`373`		`- $type = $type->changeSubtractedType($this->getSubtractedType());`
`374`		`- if (!$type instanceof StaticType) {`
`375`		`- return $traverse($type);`
`376`		`- }`
	`372`	`+ if ($this->getSubtractedType() !== null) {`
	`373`	`+ $type = $type->subtract($this->getSubtractedType());`
`377`	`374`	`}`
`378`	`375`
`379`	`376`	`if (!$isFinal \|\| $type instanceof ThisType) {`