IntersectionType::toPhpDocNode - check empty types

ondrejmirtes · ondrejmirtes · commit bfa881cac303 · 2026-05-13T20:40:52.000+02:00
diff --git a/src/Type/IntersectionType.php b/src/Type/IntersectionType.php
@@ -1877,6 +1877,10 @@ public function toPhpDocNode(): TypeNode
 			return $describedTypes[0];
 		}
 
+		if (count($describedTypes) === 0) {
+			throw new ShouldNotHappenException(sprintf('Intersection consists of %s but there should be at least one base type.', implode('&', array_map(static fn (Type $type) => $type->describe(VerbosityLevel::precise()), $this->types))));
+		}
+
 		return new IntersectionTypeNode($describedTypes);
 	}
 

Original file line number	Diff line number	Diff line change
`@@ -1877,6 +1877,10 @@ public function toPhpDocNode(): TypeNode`
`1877`	`1877`	`return $describedTypes[0];`
`1878`	`1878`	`}`
`1879`	`1879`
	`1880`	`+ if (count($describedTypes) === 0) {`
	`1881`	`+ throw new ShouldNotHappenException(sprintf('Intersection consists of %s but there should be at least one base type.', implode('&', array_map(static fn (Type $type) => $type->describe(VerbosityLevel::precise()), $this->types))));`
	`1882`	`+ }`
	`1883`	`+`
`1880`	`1884`	`return new IntersectionTypeNode($describedTypes);`
`1881`	`1885`	`}`
`1882`	`1886`