trait A {
  type T = Int
  type T2 = T
  def x: T2
}