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