Merge pull request #6308 from dotty-staging/fix-4863

Fix #4863: Add tests

Author: liufengyun

tests/neg/i4863.scala

@@ -0,0 +1,13 @@
+sealed trait Nat
+case class S(n: Nat) extends Nat
+case object Z extends Nat
+
+inline def pred(n: Nat) = inline n match {
+  case S(m) => m
+  case Z =>
+    compiletime.error("n cannot be Z")
+}
+
+class Test {
+  pred(Z) // error
+}

tests/pos/i4863.scala

@@ -0,0 +1,13 @@
+sealed trait Nat
+case class S(n: Nat) extends Nat
+case object Z extends Nat
+
+inline def pred(n: Nat) = inline n match {
+  case S(m) => m
+  case Z =>
+    compiletime.error("n cannot be Z")
+}
+
+class Test {
+  pred(S(Z))
+}