Fix infinite loop in recursive generics

Author: staabm

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -1499,6 +1499,13 @@ public function testBug14324(): void
 		$this->assertNoErrors($errors);
 	}
 
+	public function testBug13801(): void
+	{
+		// endless loop crash
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-13801.php');
+		$this->assertNoErrors($errors);
+	}
+
 	/**
 	 * @param string[]|null $allAnalysedFiles
 	 * @return list<Error>

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

@@ -0,0 +1,19 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Bug13801;
+
+/**
+ * @template TValue of object
+ */
+interface Cast
+{
+}
+
+/**
+ * @template TCast of Cast<static>
+ */
+interface Castable
+{
+}