class B extends A {
  type T = String
}