added regression test for t301

1 files changed, 12 insertions, 0 deletions

diff --git a/test/files/pos/t301.scala b/test/files/pos/t301.scala
new file mode 100644
index 0000000000..cb68f38062
--- /dev/null
+++ b/test/files/pos/t301.scala
@@ -0,0 +1,12 @@
+package fos
+
+abstract class Expr
+case class Var extends Expr
+
+object Analyzer {
+  def substitution(expr: Expr, cls: (Var,Var)): Expr =
+    expr match {
+      case cls._2 => cls._1  // source of the error
+      case _ => expr
+    }
+}