Add INF test cases to bug-11054 regression test

Adds test coverage for INF (as opposed to NAN) in array constant
comparisons. Unlike NAN, INF === INF is true in PHP, so type narrowing
correctly eliminates the type after the first comparison.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

tests/PHPStan/Rules/Comparison/StrictComparisonOfDifferentTypesRuleTest.php

@@ -1163,7 +1163,13 @@ public function testPossiblyImpureTip(): void
 
 	public function testBug11054(): void
 	{
-		$this->analyse([__DIR__ . '/data/bug-11054.php'], []);
+		$this->analyse([__DIR__ . '/data/bug-11054.php'], [
+			[
+				'Strict comparison using === between mixed and array{INF} will always evaluate to false.',
+				47,
+				'Type array{INF} has already been eliminated from mixed.',
+			],
+		]);
 	}
 
 }

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

@@ -33,10 +33,26 @@ public static function convertEncoding (
 	}
 }
 
+class InfTest {
+	public const DEF_VALUE = [INF];
+	public const NO_VALUE  = [INF];
+
+	/** @param mixed $v */
+	public static function test($v): void
+	{
+		if ($v === self::DEF_VALUE) { // no error expected
+			return;
+		}
+
+		if ($v === self::NO_VALUE) {} // error expected - INF === INF is true, so narrowing is correct
+	}
+}
+
 class SimpleTest {
 	/** @param mixed $v */
 	public static function test($v): void
 	{
 		if ($v === [NAN]) {} // no error expected
+		if ($v === [INF]) {} // no error expected
 	}
 }