test/files/run/bug1434.scala


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

object Test {
  class A[T] { val op = null }
  class B extends A[Any]
  class C extends B

  def f(o: AnyRef) = o match {
    case a: A[_] if(a.op != null) => "with op"
    case c: C => "C"
    case b: B => "B"
  }

  def main(args: Array[String]) = {
    assert("C" == f(new C))
  }
}