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