test/files/neg/val_sig_infer_match.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

class A

class B extends A {
  def y: Int = 0
}

class B1 extends B
class B2 extends B

class C {
  def f: A = null
}

class D extends C {
  def s = ""
  override final val f = s match {
    case "" => new B1
    case _ => new B2
  }

  def m = f.y // doesn't compile anymore
}