From 8d1b6c99d27ae33a9719974f02b03a8a54df3f96 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Tue, 9 Jun 2020 16:19:55 +0200
Subject: [PATCH] Fix #7068: Add regression test

---
 tests/pos/i7068-a.scala | 14 ++++++++++++++
 tests/pos/i7068-b.scala |  5 +++++
 2 files changed, 19 insertions(+)
 create mode 100644 tests/pos/i7068-a.scala
 create mode 100644 tests/pos/i7068-b.scala

diff --git a/tests/pos/i7068-a.scala b/tests/pos/i7068-a.scala
new file mode 100644
index 000000000000..577403f045d6
--- /dev/null
+++ b/tests/pos/i7068-a.scala
@@ -0,0 +1,14 @@
+sealed trait Foo[T] {
+  def foo(s: Foo[T]): Nothing
+}
+
+inline def species[T](t: T) = {
+  case class FooT(x: T) extends Foo[T] {
+    def foo(s: Foo[T]) = s match {
+      case FooT(x) => ???
+    }
+  }
+  FooT(t)
+}
+
+val foo = species(0)
diff --git a/tests/pos/i7068-b.scala b/tests/pos/i7068-b.scala
new file mode 100644
index 000000000000..fcb24df9e140
--- /dev/null
+++ b/tests/pos/i7068-b.scala
@@ -0,0 +1,5 @@
+inline def species() = {
+  case class FooT()
+  FooT()
+}
+val foo = species()