TypeCombinator: filter NeverType out earlier

Author: staabm

src/Type/Accessory/NonEmptyArrayType.php

@@ -76,10 +76,6 @@ public function getConstantStrings(): array
 
 	public function accepts(Type $type, bool $strictTypes): AcceptsResult
 	{
-		if ($type instanceof CompoundType) {
-			return $type->isAcceptedBy($this, $strictTypes);
-		}
-
 		$isArray = $type->isArray();
 		$isIterableAtLeastOnce = $type->isIterableAtLeastOnce();
 

src/Type/TypeCombinator.php

@@ -1150,11 +1150,17 @@ public static function intersect(Type ...$types): Type
 			$slice1 = array_slice($types, 0, $i);
 			$slice2 = array_slice($types, $i + 1);
 			foreach ($innerTypes as $innerUnionSubType) {
-				$topLevelUnionSubTypes[] = self::intersect(
+				$intersected = self::intersect(
 					$innerUnionSubType,
 					...$slice1,
 					...$slice2,
 				);
+
+				if ($intersected instanceof NeverType) {
+					continue;
+				}
+
+				$topLevelUnionSubTypes[] = $intersected;
 			}
 
 			$union = self::union(...$topLevelUnionSubTypes);