// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -typecheck %s -verify | |
// REQUIRES: objc_interop | |
import Foundation | |
class Foo : NSObject { | |
@objc(initWithInt:) | |
init(value: Int) { } | |
@objc(initWithString:) | |
init(value: String) { } | |
} | |
class Bar : Foo { // okay: | |
} |