Merge pull request #8451 from dotty-staging/fix-#8449

Fix #8449: Add regression test

Author: anatoliykmetyuk

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
+}