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