class B extends A {
  type T = Int
}