// RUN: %clang_cc1 -fsyntax-only -verify %s
// expected-no-diagnostics

@protocol P0
--bar;
@end

@interface A <P0>
@end

// Interface conforms to inherited protocol

@interface B0 : A <P0>
@end

@implementation B0
@end

// Interface conforms to a protocol which extends another. The other
// protocol is inherited, and extended methods are implemented.

@protocol P1 <P0>
-foo;
@end

@interface B1 : A <P1>
@end

@implementation B1
--foo { return 0; };
@end

// Interface conforms to a protocol whose methods are provided by an
// alternate inherited protocol.

@protocol P2
--bar;
@end

@interface B2 : A <P2>
@end

@implementation B2
@end

// Interface conforms to a protocol whose methods are provided by a base class.

@interface A1 
--bar;
@end

@interface B3 : A1 <P2>
@end

@implementation B3
@end