diff --git a/tests/PHPStan/Analyser/AnalyserIntegrationTest.php b/tests/PHPStan/Analyser/AnalyserIntegrationTest.php
index 27b9f44c3d..08b8f097f3 100644
--- a/tests/PHPStan/Analyser/AnalyserIntegrationTest.php
+++ b/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>
diff --git a/tests/PHPStan/Analyser/data/bug-9172.php b/tests/PHPStan/Analyser/data/bug-9172.php
new file mode 100644
index 0000000000..0118ca9438
--- /dev/null
+++ b/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;
+}