From 0ef2bb6d1e816fd605ddb4f5fd44f29450dd9944 Mon Sep 17 00:00:00 2001
From: Vincent Langlet <vincentlanglet@hotmail.fr>
Date: Fri, 5 Dec 2025 16:42:07 +0100
Subject: [PATCH] Add test

---
 tests/Type/WebMozartAssert/data/impossible-check.php | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tests/Type/WebMozartAssert/data/impossible-check.php b/tests/Type/WebMozartAssert/data/impossible-check.php
index 0e00dcc..e4e978c 100644
--- 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 {};