trait A {
  type S = Long
}