| // RUN: %target-swift-frontend -typecheck -import-objc-header %S/Inputs/invalid_metatype_bridging_header.h %s -verify |
| |
| // REQUIRES: objc_interop |
| |
| // rdar://problem/33830526: Constraint system should not add static methods |
| // to the overload search space if it would require bridging unrelated metatypes. |
| class Crasher { |
| static func called(argument: String) {} |
| } |
| |
| Crasher.called(argument: .meth) // expected-error {{type 'String' has no member 'meth'}} |
| Crasher.called(argument: String.meth) // expected-error {{type 'String' has no member 'meth'}} |
