// RUN: %clang_cc1 -fsyntax-only -verify -Wno-objc-root-class %s
@protocol FooAsID
@property (assign) id foo; // expected-note 2 {{it could also be property of type 'id' declared here}} \\
// expected-warning {{property of type 'id' was selected for synthesis}}
@end
@protocol FooAsDouble
@property double foo; // expected-warning 2 {{property of type 'double' was selected for synthesis}} \
// expected-note {{it could also be property of type 'double' declared here}}
@end
@protocol FooAsShort
@property short foo; // expected-note {{it could also be property of type 'short' declared here}}
@end
@interface NSObject @end
@interface AnObject : NSObject<FooAsDouble,FooAsID>
@end
@interface Sub : AnObject
@end
@implementation Sub
@synthesize foo=_MyFooIvar; // expected-note {{property synthesized here}}
@end
@interface AnotherObject : NSObject<FooAsDouble, FooAsID,FooAsDouble, FooAsID, FooAsDouble,FooAsID>
@end
@implementation AnotherObject
@synthesize foo=_MyFooIvar; // expected-note {{property synthesized here}}
@end
@interface YetAnotherObject : NSObject<FooAsID,FooAsShort, FooAsDouble,FooAsID, FooAsShort>
@end
@implementation YetAnotherObject
@synthesize foo=_MyFooIvar; // expected-note {{property synthesized here}}
@end
double func(YetAnotherObject *object) {
return [object foo]; // expected-error {{returning 'id' from a function with incompatible result type 'double'}}
}