test/files/pos/t7756b.scala


1
2
3
4
5
6
7
8
9
10
11
12
13

// This is a pos test to show that the backported bug fix for SI-7756 is
// only enabled under -Xfuture.
object Test {
  def test: Unit = {
    trait TA[X <: CharSequence]
    0 match {
      case _ =>
        // the bounds violation isn't reported. RefChecks seems to be too broadly disabled under virtpatmat: see 65340ed4ad2e
        locally(null: TA[Object])
        ()
    }
  }
}