Add impossible-check tests for eq and notEq

Author: herndlm

tests/Type/WebMozartAssert/ImpossibleCheckTypeMethodCallRuleTest.php

@@ -47,6 +47,32 @@ public function testExtension(): void
 		]);
 	}
 
+	public function testEq(): void
+	{
+		$this->analyse([__DIR__ . '/data/impossible-check-eq-not-eq.php'], [
+			[
+				'Call to static method Webmozart\Assert\Assert::eq() with stdClass and stdClass will always evaluate to true.',
+				11,
+			],
+			[
+				'Call to static method Webmozart\Assert\Assert::notEq() with stdClass and stdClass will always evaluate to false.',
+				12,
+			],
+			[
+				'Call to static method Webmozart\Assert\Assert::eq() with stdClass and stdClass will always evaluate to true.',
+				29,
+			],
+			[
+				'Call to static method Webmozart\Assert\Assert::eq() with stdClass and null will always evaluate to false.',
+				32,
+			],
+			[
+				'Call to static method Webmozart\Assert\Assert::notEq() with stdClass and null will always evaluate to true.',
+				33,
+			],
+		]);
+	}
+
 	public function testBug8(): void
 	{
 		$this->analyse([__DIR__ . '/data/bug-8.php'], [

tests/Type/WebMozartAssert/data/impossible-check-eq-not-eq.php

@@ -0,0 +1,39 @@
+<?php declare(strict_types=1);
+
+namespace WebmozartAssertImpossibleCheckEqNotEq;
+
+use DateTimeInterface;
+use stdClass;
+use Webmozart\Assert\Assert;
+
+function sameInstancesAreAlwaysEqual(stdClass $a, stdClass $b): void
+{
+	Assert::eq($a, $a); // will always evaluate to true
+	Assert::notEq($b, $b); // will always evaluate to false
+}
+
+function instancesOfTheSameTypeAreNotIdenticalButCouldBeEqual(stdClass $a, stdClass $b, stdClass $c, stdClass $d): void
+{
+	Assert::eq($a, $b);
+	Assert::notEq($c, $d);
+
+	Assert::eq(createStdClass(), createStdClass());
+	Assert::notEq(createStdClass(), createStdClass());
+}
+
+function instancesOfDifferentTypesAreNeverEqual(stdClass $a, DateTimeInterface $b, stdClass $c, DateTimeInterface $d, stdClass $e, stdClass $f, stdClass $g, stdClass $h): void
+{
+	Assert::eq($a, $b); // ignored, should evaluate to false?
+	Assert::notEq($c, $d); // ignored, should evaluate to true?
+
+	Assert::eq($e, new stdClass()); // will always evaluate to true, should evaluate to false?
+	Assert::notEq($f, new stdClass()); // ignored, should evaluate to true?
+
+	Assert::eq($g, null); // will always evaluate to false
+	Assert::notEq($h, null); // will always evaluate to true
+}
+
+function createStdClass(): stdClass
+{
+	return new stdClass();
+}