tests/pos/i1737.scala


1
2
3
4
5
6
7
8
9
10
11

object Test {
  sealed trait Foo[A]
  case object FooI extends Foo[Int]
  case class FooS(b: Boolean) extends Foo[String]

  def algFoo[A](foo: Foo[A]): A =
    foo match {
      case FooI => 42
      case FooS(b) => "foo"
    }
}