Fix endless recursion with nested traits via anonymous classes

src/Analyser/MutatingScope.php

@@ -3176,6 +3176,17 @@ public function enterClass(ClassReflection $classReflection): self
 			[
 				'this' => VariableTypeHolder::createYes(new ThisType($classReflection)),
 			],
+			[],
+			[],
+			null,
+			null,
+			true,
+			[],
+			[],
+			[],
+			[],
+			false,
+			$classReflection->isAnonymous() ? $this : null,
 		);
 	}
 

src/Analyser/NodeScopeResolver.php

@@ -3725,8 +3725,20 @@ static function (): void {
 	 */
 	private function processTraitUse(Node\Stmt\TraitUse $node, MutatingScope $classScope, callable $nodeCallback): void
 	{
+		$parentTraitNames = [];
+		$parent = $classScope->getParentScope();
+		while ($parent !== null) {
+			if ($parent->isInTrait()) {
+				$parentTraitNames[] = $parent->getTraitReflection()->getName();
+			}
+			$parent = $parent->getParentScope();
+		}
+
 		foreach ($node->traits as $trait) {
 			$traitName = (string) $trait;
+			if (in_array($traitName, $parentTraitNames, true)) {
+				continue;
+			}
 			if (!$this->reflectionProvider->hasClass($traitName)) {
 				continue;
 			}

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -800,6 +800,14 @@ public function testDiscussion7124(): void
 		$this->assertSame(59, $errors[3]->getLine());
 	}
 
+	public function testBug7214(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-7214.php');
+		$this->assertCount(1, $errors);
+		$this->assertSame('Method Bug7214\HelloWorld::getFoo() has no return type specified.', $errors[0]->getMessage());
+		$this->assertSame(6, $errors[0]->getLine());
+	}
+
 	/**
 	 * @param string[]|null $allAnalysedFiles
 	 * @return Error[]

tests/PHPStan/Analyser/data/bug-7214.php

@@ -0,0 +1,19 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7214;
+
+trait foo {
+	public function getFoo()
+	{
+		return new class {
+			use foo;
+		};
+	}
+}
+
+class HelloWorld
+{
+	use foo;
+}
+
+var_dump((new HelloWorld())->getFoo()->getFoo());