aboutsummaryrefslogtreecommitdiff
path: root/tests/patmat/i2253.scala
blob: 8394a86df025ec6c9e00613856b28fb6f05f8bd9 (plain) (blame)
1
2
3
4
5
6
7
sealed trait S
object O extends S
trait T

class Test {
  def m(s: S { val x: Int }) = s match { case _: T => ; }
}