object Test {
  def foo(t: A.T) = t match {
    case a: A.TT => 0
  }
}