From ebfb238ba1f80a77479f96e93571e748bee4a655 Mon Sep 17 00:00:00 2001
From: Liu Fengyun <liu@fengy.me>
Date: Mon, 15 Apr 2019 17:10:22 +0200
Subject: [PATCH] Fix #4863: add tests

---
 tests/neg/i4863.scala | 13 +++++++++++++
 tests/pos/i4863.scala | 13 +++++++++++++
 2 files changed, 26 insertions(+)
 create mode 100644 tests/neg/i4863.scala
 create mode 100644 tests/pos/i4863.scala

diff --git a/tests/neg/i4863.scala b/tests/neg/i4863.scala
new file mode 100644
index 000000000000..350554354fe2
--- /dev/null
+++ b/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
+}
diff --git a/tests/pos/i4863.scala b/tests/pos/i4863.scala
new file mode 100644
index 000000000000..7afec6f00645
--- /dev/null
+++ b/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))
+}