Add test

Author: VincentLanglet

tests/PHPStan/Rules/Comparison/Bug14534Test.php

@@ -0,0 +1,40 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Rules\Comparison;
+
+use PHPStan\Analyser\RicherScopeGetTypeHelper;
+use PHPStan\Rules\Rule;
+use PHPStan\Testing\RuleTestCase;
+use function array_merge;
+
+/**
+ * @extends RuleTestCase<StrictComparisonOfDifferentTypesRule>
+ */
+class Bug14534Test extends RuleTestCase
+{
+
+	protected function getRule(): Rule
+	{
+		return new StrictComparisonOfDifferentTypesRule(
+			self::getContainer()->getByType(RicherScopeGetTypeHelper::class),
+			new PossiblyImpureTipHelper(true),
+			true,
+			true,
+			true,
+		);
+	}
+
+	public function testRule(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-14534.php'], []);
+	}
+
+	public static function getAdditionalConfigFiles(): array
+	{
+		return array_merge(
+			parent::getAdditionalConfigFiles(),
+			[__DIR__ . '/bug-14534.neon'],
+		);
+	}
+
+}

tests/PHPStan/Rules/Comparison/bug-14534.neon

@@ -0,0 +1,3 @@
+parameters:
+	stubFiles:
+		- data/bug-14534.stub

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

@@ -0,0 +1,12 @@
+<?php
+
+namespace Bug14534;
+
+function test(\SplFileObject $spl): bool
+{
+	if ($spl->key() === 1) {
+		return $spl->key() === 1;
+	}
+
+	return false;
+}

tests/PHPStan/Rules/Comparison/data/bug-14534.stub

@@ -0,0 +1,6 @@
+<?php
+
+/**
+ * @phpstan-all-methods-impure
+ */
+class SplFileObject {}