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