Add test

VincentLanglet · VincentLanglet · commit 0ef2bb6d1e81 · 2025-12-05T16:42:07.000+01:00
diff --git a/tests/Type/WebMozartAssert/data/impossible-check.php b/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 {};

Original file line number	Diff line number	Diff line change
`@@ -127,6 +127,13 @@ public function testStartsWith(string $a): void`
`127`	`127`	`Assert::startsWith("value", "bix");`
`128`	`128`	`}`
`129`	`129`
	`130`	`+ /** @param class-string<Bar> $a */`
	`131`	`+ public function implementsInterface2(string $a): void`
	`132`	`+ {`
	`133`	`+ Assert::implementsInterface($a, Bar::class);`
	`134`	`+ Assert::implementsInterface(Bar::class, Bar::class);`
	`135`	`+ }`
	`136`	`+`
`130`	`137`	`}`
`131`	`138`
`132`	`139`	`interface Bar {};`