class B extends A {
  type S <: Int
}