Add test

Author: VincentLanglet

tests/PHPStan/Rules/PhpDoc/RequireImplementsDefinitionTraitRuleTest.php

@@ -62,6 +62,11 @@ public function testRule(): void
 				'PHPDoc tag @phpstan-require-implements contains non-object type *NEVER*.',
 				34,
 			],
+			[
+				'PHPDoc tag @phpstan-require-implements contains unknown class IncompatibleRequireImplements\TypeDoesNotExist.',
+				175,
+				'Learn more at https://phpstan.org/user-guide/discovering-symbols',
+			],
 		];
 
 		$this->analyse([__DIR__ . '/data/incompatible-require-implements.php'], $expectedErrors);

tests/PHPStan/Rules/PhpDoc/data/incompatible-require-implements.php

@@ -168,3 +168,8 @@ trait ValidPsalmTrait {}
 new class {
 	use ValidPsalmTrait;
 };
+
+/**
+ * @phpstan-require-implements RequiredInterface|TypeDoesNotExist
+ */
+trait InvalidTraitWithUnknown {}