diff --git a/tests/pos/i8449.scala b/tests/pos/i8449.scala
new file mode 100644
index 000000000000..772e3c2c47f1
--- /dev/null
+++ b/tests/pos/i8449.scala
@@ -0,0 +1,17 @@
+
+import scala.compiletime.ops.int._
+
+object Test {
+  type Fib[N <: Int] <: Int = N match {
+    case 0 => 0
+    case 1 => 1
+    case _ => Fib[N - 1] + Fib[N - 2]
+  }
+  val fib0: Fib[0] = 0
+  val fib1: Fib[1] = 1
+  val fib2: Fib[2] = 1
+  val fib3: Fib[3] = 2
+  val fib4: Fib[4] = 3
+  val fib5: Fib[5] = 5
+  val fib6: Fib[6] = 8
+}