More tests

Added more tests which all pass, except for tests in disabled and pending.

t0694 went from pos to neg, because the kind of alias type used in t0695 is no longer supported.

1 files changed, 12 insertions, 0 deletions

diff --git a/tests/pos/t0301.scala b/tests/pos/t0301.scala
new file mode 100644
index 000000000..24b477601
--- /dev/null
+++ b/tests/pos/t0301.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
+    }
+}