1 files changed, 5 insertions, 0 deletions
diff --git a/tests/untried/neg/t5189.scala b/tests/untried/neg/t5189.scala
new file mode 100644
index 000000000..19e8e7466
--- /dev/null
+++ b/tests/untried/neg/t5189.scala
@@ -0,0 +1,5 @@
+class TestNeg1 {
+  case class Foo[T, U](f: T => U)
+  def f(x: Any): Any => Any = x match { case Foo(bar) => bar }
+  // uh-oh, Any => Any should be Nothing => Any.
+}