Add tests

Author: VincentLanglet

tests/Type/WebMozartAssert/ImpossibleCheckTypeMethodCallRuleTest.php

@@ -116,6 +116,11 @@ public function testExtension(): void
 				'Call to static method Webmozart\Assert\Assert::startsWith() with \'value\' and string will always evaluate to true.',
 				126,
 			],
+			[
+				'Call to static method Webmozart\Assert\Assert::implementsInterface() with \'WebmozartAssertImpossibleCheck\\\\Bar\' and \'WebmozartAssertImpossibleCheck\\\\Bar\' will always evaluate to false.',
+				134,
+				$tipText,
+			],
 		]);
 	}
 

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

@@ -127,6 +127,13 @@ public function testStartsWith(string $a): void
 		Assert::startsWith("value", "bix");
 	}
 
+	/** @param class-string<Bar> $a */
+	public function implementsInterface2(string $a): void
+	{
+		Assert::implementsInterface($a, Bar::class);
+		Assert::implementsInterface(Bar::class, Bar::class);
+	}
+
 }
 
 interface Bar {};