Fix phpstan/phpstan#11054: NAN array type narrowing in strict comparison

- Override getFiniteTypes() in ConstantFloatType to return [] for NAN values
- This prevents TypeSpecifier from subtracting array{NAN} from mixed in the
  false branch of === checks, since NAN-containing arrays can still be
  identical when they share the same zval (e.g., class constants)
- New regression test in tests/PHPStan/Rules/Comparison/data/bug-11054.php

Author: github-actions[bot]

src/Type/Constant/ConstantFloatType.php

@@ -99,6 +99,15 @@ public function toArrayKey(): Type
 		return new ConstantIntegerType((int) $this->value);
 	}
 
+	public function getFiniteTypes(): array
+	{
+		if (is_nan($this->value)) {
+			return [];
+		}
+
+		return [$this];
+	}
+
 	public function generalize(GeneralizePrecision $precision): Type
 	{
 		return new FloatType();

tests/PHPStan/Rules/Comparison/StrictComparisonOfDifferentTypesRuleTest.php

@@ -1161,4 +1161,9 @@ public function testPossiblyImpureTip(): void
 		]);
 	}
 
+	public function testBug11054(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-11054.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Comparison/data/bug-11054.php

@@ -0,0 +1,42 @@
+<?php declare(strict_types = 1);
+
+namespace Bug11054;
+
+class XXX {
+	public const DEF_VALUE = [NAN];
+	public const NO_VALUE  = [NAN];
+}
+
+class YYY
+{
+	public const LOSSLESS = [NAN];
+
+	/**
+	 * @param  string|int|mixed $substituteChar
+	 */
+	public static function convertEncoding (
+		string $str,
+		string $sourceEncoding,
+		string $targetEncoding,
+		$substituteChar = XXX::DEF_VALUE,
+		$defValue       = XXX::NO_VALUE
+	): string {
+		if ($substituteChar === XXX::DEF_VALUE) { // no error expected
+			return mb_convert_encoding($str, $targetEncoding, $sourceEncoding);
+		}
+
+		if ($substituteChar === self::LOSSLESS) { // no error expected
+			return $str;
+		}
+
+		return $str;
+	}
+}
+
+class SimpleTest {
+	/** @param mixed $v */
+	public static function test($v): void
+	{
+		if ($v === [NAN]) {} // no error expected
+	}
+}