class OtherWithInit {
  @available(OSX, introduced: 10.11)
  init(withInt i: Int) { }
}

class SubOfOtherWithInit : OtherWithInit {
  // A trapping version of init(withInt:) will be synthesized here.

  @available(OSX, introduced: 10.11)
  init() {
    super.init(withInt:77)
  }
}
