test/ClangImporter/Inputs/availability_implicit_macosx_other.swift

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)
  }
}