1 files changed, 20 insertions, 0 deletions
diff --git a/tests/pos/t8300-patmat-b.scala b/tests/pos/t8300-patmat-b.scala
new file mode 100644
index 000000000..0acad4406
--- /dev/null
+++ b/tests/pos/t8300-patmat-b.scala
@@ -0,0 +1,20 @@
+// cf. pos/t8300-patmat-a.scala
+trait Universe {
+  type Name >: Null <: AnyRef with NameApi
+  trait NameApi
+
+  type TermName >: Null <: TermNameApi with Name
+  trait TermNameApi extends NameApi
+}
+
+object Test extends App {
+  val u: Universe = ???
+  import u._
+
+  locally {
+    val ScalaName: TermName = ???
+    ??? match {
+      case ScalaName => ???
+    }
+  }
+}