test/files/pos/t6275.scala


1
2
3
4
5
6
7
8
9
10
11

sealed trait A[T]
final class B[T] extends A[T]

object ParsedAxis {
  type BI = B[Int]

  def f1(a: A[Int]) = a match { case b: B[Int] => 3 }
  def f2(a: A[Int]) = a match { case b: BI => 3 }
  def f3(a: A[Int]) = a match { case b: B[t] => 3 }
}