blob: c3941641482076f77913d404411d1557d437b5e6 (
plain) (
tree)
|
|
sealed trait Expr[T]
case class IntExpr(x: Int) extends Expr[Int]
case class BooleanExpr(b: Boolean) extends Expr[Boolean]
object Test {
def foo[T](x: Expr[T], y: Expr[T]) = (x, y) match {
case (IntExpr(_), IntExpr(_)) =>
case (BooleanExpr(_), BooleanExpr(_)) =>
}
}
|