| // RUN: %target-typecheck-verify-swift -enable-objc-interop | |
| class Base {} | |
| @objc protocol Protocol1 : Base {} | |
| // expected-error@-1 {{inheritance from non-protocol type 'Base'}} | |
| @objc protocol OtherProtocol {} | |
| typealias Composition = OtherProtocol & Base | |
| @objc protocol Protocol2 : Composition {} | |
| // expected-error@-1 {{inheritance from class-constrained protocol composition type 'Composition' (aka 'Base & OtherProtocol')}} |