Add regression test for circular class constant PHPDoc type references (#5685)

Co-authored-by: VincentLanglet <9052536+VincentLanglet@users.noreply.github.com>
Co-authored-by: Claude Opus 4.6 <noreply@anthropic.com>

Author: 3 people

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -1578,6 +1578,12 @@ public function testBug14596(): void
 		$this->assertNotEmpty($errors);
 	}
 
+	public function testBug9172(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-9172.php');
+		$this->assertNotEmpty($errors);
+	}
+
 	/**
 	 * @param string[]|null $allAnalysedFiles
 	 * @return list<Error>

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

@@ -0,0 +1,26 @@
+<?php
+
+namespace Bug9172Integration;
+
+final class HelloWorld
+{
+	/** @var int<0, self::MAX_DEPOSIT> */
+	public const MIN_DEPOSIT = 1_000;
+
+	/** @var int<self::MIN_DEPOSIT, max> */
+	public const MAX_DEPOSIT = 20_000;
+
+	/** @param int<self::MIN_DEPOSIT, self::MAX_DEPOSIT> $amount */
+	public function deposit(int $amount): void
+	{
+	}
+}
+
+final class CircularValues
+{
+	/** @var int<0, self::MAX> */
+	public const MIN = self::MAX - 19_000;
+
+	/** @var int<self::MIN, max> */
+	public const MAX = self::MIN + 19_000;
+}