trait A {
  type S = Int
}