bug-14394.php

<?php declare(strict_types = 1);

namespace Bug14394;

class Cl {
	/** @param list<mixed> $v2 */
	public static function test(float $v1, array $v2): void {
		if ($v1 == NAN) { echo "never reached\n"; }
		if ($v1 === NAN) { echo "never reached\n"; }
		if ($v2 == [NAN]) { echo "never reached\n"; }
		if ($v2 === [NAN]) { echo "never reached\n"; }
	}

	public static function testSameVariable(): void {
		$a = NAN;
		if ($a == $a) { echo "never reached\n"; }
		if ($a === $a) { echo "never reached\n"; }
		if ([$a] == [$a]) { echo "never reached\n"; }
		if ([$a] === [$a]) { echo "never reached\n"; }
	}

	/** @param array{NAN}|array{1} $v */
	public static function testUnionArrayNotAlwaysFalse(array $v): void {
		if ($v === [1]) { echo "maybe reached\n"; }
		if ($v == [1]) { echo "maybe reached\n"; }
	}
}