From 95da279c2521b14663e6e8f915130cde5e117035 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Fri, 3 May 2019 13:08:08 +0200
Subject: [PATCH] Fix #4988: Add regression test

---
 tests/pos/i4988.scala | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 tests/pos/i4988.scala

diff --git a/tests/pos/i4988.scala b/tests/pos/i4988.scala
new file mode 100644
index 000000000000..d35304fc7c9d
--- /dev/null
+++ b/tests/pos/i4988.scala
@@ -0,0 +1,15 @@
+object Trees {
+  class PackageDef
+  class ValDef
+}
+
+class ReplCompiler {
+  type PackageDef = Trees.PackageDef
+  type ValDef = Trees.ValDef
+
+  def errors[A]: A = ???
+  def success: ValDef = ???
+
+  def typeCheck(cond: Boolean): ValDef =
+    if (cond) success else errors // failure goes away with `errors[ValDef]`
+}