Added failing unit test for Assert::implementsInterface

Author: boesing

tests/Type/WebMozartAssert/AssertTypeSpecifyingExtensionTest.php

@@ -153,6 +153,10 @@ public function testExtension(): void
 				'Variable $ad is: int|string',
 				119,
 			],
+			[
+				'Variable $q is: PHPStan\Type\WebMozartAssert\Baz&PHPStan\Type\WebMozartAssert\Foo',
+				122,
+			],
 		]);
 	}
 

tests/Type/WebMozartAssert/data/data.php

@@ -117,11 +117,19 @@ public function doFoo($a, $b, array $c, iterable $d, $e, $f, $g, $h, $i, $j, $k,
 
 		Assert::integerish($ad);
 		$ad;
-	}
+
+        Assert::implementsInterface($q, Baz::class);
+        $q;
+    }
+
+}
+
+class Bar implements Baz
+{
 
 }
 
-class Bar
+interface Baz
 {
 
 }