Update TypeSpecifierContext.php

staabm · staabm · commit 35a76411d83f · 2025-03-13T17:12:44.000+01:00
diff --git a/src/Analyser/TypeSpecifierContext.php b/src/Analyser/TypeSpecifierContext.php
@@ -73,8 +73,13 @@ public function negate(): self
 			throw new ShouldNotHappenException();
 		}
 
-		$baseType = $this->returnType->generalize(GeneralizePrecision::lessSpecific());
-		return self::create(~$this->value & self::CONTEXT_BITMASK, TypeCombinator::remove($baseType, $this->returnType));
+		$negatedReturnType = null;
+		if ($this->returnType !== null) {
+			$baseType = $this->returnType->generalize(GeneralizePrecision::lessSpecific());
+			$negatedReturnType = TypeCombinator::remove($baseType, $this->returnType);
+		}
+
+		return self::create(~$this->value & self::CONTEXT_BITMASK, $negatedReturnType);
 	}
 
 	public function true(): bool

Original file line number	Diff line number	Diff line change
`@@ -73,8 +73,13 @@ public function negate(): self`
`73`	`73`	`throw new ShouldNotHappenException();`
`74`	`74`	`}`
`75`	`75`
`76`		`- $baseType = $this->returnType->generalize(GeneralizePrecision::lessSpecific());`
`77`		`- return self::create(~$this->value & self::CONTEXT_BITMASK, TypeCombinator::remove($baseType, $this->returnType));`
	`76`	`+ $negatedReturnType = null;`
	`77`	`+ if ($this->returnType !== null) {`
	`78`	`+ $baseType = $this->returnType->generalize(GeneralizePrecision::lessSpecific());`
	`79`	`+ $negatedReturnType = TypeCombinator::remove($baseType, $this->returnType);`
	`80`	`+ }`
	`81`	`+`
	`82`	`+ return self::create(~$this->value & self::CONTEXT_BITMASK, $negatedReturnType);`
`78`	`83`	`}`
`79`	`84`
`80`	`85`	`public function true(): bool`