Fixed in_array() with non-empty arrays

src/Type/TypeUtils.php

@@ -38,6 +38,20 @@ public static function getArrays(Type $type): array
 			return $matchingTypes;
 		}
 
+		if ($type instanceof IntersectionType) {
+			$matchingTypes = [];
+			foreach ($type->getTypes() as $innerType) {
+				if (!$innerType instanceof ArrayType) {
+					continue;
+				}
+				foreach (self::getArrays($innerType) as $innerInnerType) {
+					$matchingTypes[] = $innerInnerType;
+				}
+			}
+
+			return $matchingTypes;
+		}
+
 		return [];
 	}
 

tests/PHPStan/Rules/Comparison/data/check-type-function-call.php

@@ -811,3 +811,37 @@ public function doLorem(\SimpleXMLElement $xml): void
 	}
 
 }
+
+class InArray2
+{
+
+	/**
+	 * @param array<int> $ints
+	 */
+	public function doFoo($ints): void
+	{
+		if ($ints === []) {
+			return;
+		}
+
+		if (in_array(0, $ints, true)) {
+
+		}
+	}
+
+	/**
+	 * @param \stdClass $std
+	 * @param array<int, \stdClass|null> $stdClassesOrNull
+	 */
+	public function doBar($std, $stdClassesOrNull): void
+	{
+		if ($stdClassesOrNull === []) {
+			return;
+		}
+
+		if (in_array($std, $stdClassesOrNull, true)) {
+
+		}
+	}
+
+}