From 97ee39273ee329b49ac1a3654a63d16bef5e1d4b Mon Sep 17 00:00:00 2001
From: Liu Fengyun <liu@fengy.me>
Date: Mon, 15 Apr 2019 13:22:47 +0200
Subject: [PATCH] Fix #5101: add test (fixed in #6001)

---
 tests/neg/i5101.check |  2 ++
 tests/neg/i5101.scala | 14 ++++++++++++++
 2 files changed, 16 insertions(+)
 create mode 100644 tests/neg/i5101.check
 create mode 100644 tests/neg/i5101.scala

diff --git a/tests/neg/i5101.check b/tests/neg/i5101.check
new file mode 100644
index 000000000000..dfe51df9182e
--- /dev/null
+++ b/tests/neg/i5101.check
@@ -0,0 +1,2 @@
+[137..139..142] in i5101.scala
+Not found: A0
diff --git a/tests/neg/i5101.scala b/tests/neg/i5101.scala
new file mode 100644
index 000000000000..638c59fb8616
--- /dev/null
+++ b/tests/neg/i5101.scala
@@ -0,0 +1,14 @@
+object Bar {
+  trait A
+  case class A0(foo: Int) extends A
+}
+
+object Foo {
+  import Bar.A
+
+  def buzz(a: A) = {
+    a match {
+      case A0(_) =>     // error
+    }
+  }
+}