test/files/pos/t0301.scala


1
2
3
4
5
6
7
8
9
10
11
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
    }
}