VoidToNullTraverser: Intersections cannot contain void

staabm · ondrejmirtes · commit 3103b88e54e0 · 2026-02-11T14:25:41.000+01:00
see #4835
diff --git a/src/Analyser/Traverser/VoidToNullTraverser.php b/src/Analyser/Traverser/VoidToNullTraverser.php
@@ -2,7 +2,6 @@
 
 namespace PHPStan\Analyser\Traverser;
 
-use PHPStan\Type\IntersectionType;
 use PHPStan\Type\NullType;
 use PHPStan\Type\Type;
 use PHPStan\Type\TypeTraverserCallable;
@@ -16,7 +15,7 @@ final class VoidToNullTraverser implements TypeTraverserCallable
 	 */
 	public function traverse(Type $type, callable $traverse): Type
 	{
-		if ($type instanceof UnionType || $type instanceof IntersectionType) {
+		if ($type instanceof UnionType) {
 			return $traverse($type);
 		}
 

Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,6 @@`
`2`	`2`
`3`	`3`	`namespace PHPStan\Analyser\Traverser;`
`4`	`4`
`5`		`-use PHPStan\Type\IntersectionType;`
`6`	`5`	`use PHPStan\Type\NullType;`
`7`	`6`	`use PHPStan\Type\Type;`
`8`	`7`	`use PHPStan\Type\TypeTraverserCallable;`
`@@ -16,7 +15,7 @@ final class VoidToNullTraverser implements TypeTraverserCallable`
`16`	`15`	`*/`
`17`	`16`	`public function traverse(Type $type, callable $traverse): Type`
`18`	`17`	`{`
`19`		`- if ($type instanceof UnionType \|\| $type instanceof IntersectionType) {`
	`18`	`+ if ($type instanceof UnionType) {`
`20`	`19`	`return $traverse($type);`
`21`	`20`	`}`
`22`	`21`