Regression test

Closes phpstan/phpstan#10214

tests/PHPStan/Rules/PhpDoc/MethodAssertRuleTest.php

@@ -62,4 +62,9 @@ public function testBug10573(): void
 		$this->analyse([__DIR__ . '/data/bug-10573.php'], []);
 	}
 
+	public function testBug10214(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-10214.php'], []);
+	}
+
 }

tests/PHPStan/Rules/PhpDoc/data/bug-10214.php

@@ -0,0 +1,42 @@
+<?php
+
+namespace Bug10241;
+
+interface Common {
+	/** @phpstan-assert-if-true A $this */
+	public function isA(): bool;
+
+	/** @phpstan-assert-if-true B $this */
+	public function isB(): bool;
+}
+
+trait IsCommon {
+	public function isA(): bool {
+		return $this instanceof A;
+	}
+
+	public function isB(): bool {
+		return $this instanceof B;
+	}
+}
+
+class A implements Common
+{
+	use IsCommon;
+
+
+	public function isApple(): bool
+	{
+		return true;
+	}
+}
+
+class B implements Common
+{
+	use IsCommon;
+
+	public function isBanana(): bool
+	{
+		return true;
+	}
+}