From 6a89053b4a28bff7085009a29f3ae05f985722d4 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Mon, 12 Apr 2021 13:03:44 +0200
Subject: [PATCH] Add regression test

Closes #6815
---
 tests/neg/i6815.scala | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 tests/neg/i6815.scala

diff --git a/tests/neg/i6815.scala b/tests/neg/i6815.scala
new file mode 100644
index 000000000000..c07819d843d4
--- /dev/null
+++ b/tests/neg/i6815.scala
@@ -0,0 +1,17 @@
+class Computes[T]
+
+case class Result[T](val computes : Computes[T])
+
+def impl[T](computes : Computes[T]) : Result[T] = {
+  val result =
+    if ??? then {
+      impl(??? : Computes[_])
+    } else {
+      Result(computes)
+    }
+  result match {
+    case Result(r) => {
+      Result(r) // error
+    }
+  }
+}