blob: 472746e09db9eba5124236c43b6798d6c8ce1f84 [file] [log] [blame]
Douglas Gregor5054cb02015-07-07 03:58:22 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
2// RUN: %clang_cc1 -x objective-c++ -fsyntax-only -verify %s
3
4#if __LP64__ || (TARGET_OS_EMBEDDED && !TARGET_OS_IPHONE) || TARGET_OS_WIN32 || NS_BUILD_32_LIKE_64
5typedef unsigned long NSUInteger;
6#else
7typedef unsigned int NSUInteger;
8#endif
9
10@protocol NSObject
11@end
12
13@protocol NSCopying
14@end
15
16__attribute__((objc_root_class))
17@interface NSObject <NSObject>
18@end
19
20@interface NSString : NSObject <NSCopying>
21@end
22
23@interface NSNumber : NSObject <NSCopying>
24+ (NSNumber *)numberWithInt:(int)value;
25@end
26
27@interface NSArray<T> : NSObject <NSCopying>
28+ (instancetype)arrayWithObjects:(const T [])objects count:(NSUInteger)cnt;
29@end
30
31@interface NSDictionary<K, V> : NSObject <NSCopying>
32+ (instancetype)dictionaryWithObjects:(const V [])objects forKeys:(const K [])keys count:(NSUInteger)cnt;
33@end
34
35void testArrayLiteral(void) {
36 NSArray<NSString *> *array1 = @[@"hello",
37 @1, // expected-warning{{of type 'NSNumber *' is not compatible with array element type 'NSString *'}}
38 @"world",
39 @[@1, @2]]; // expected-warning{{of type 'NSArray *' is not compatible with array element type 'NSString *'}}
40
41 NSArray<NSArray<NSString *> *> *array2 = @[@[@"hello", @"world"],
42 @"blah", // expected-warning{{object of type 'NSString *' is not compatible with array element type 'NSArray<NSString *> *'}}
43 @[@1]]; // expected-warning{{object of type 'NSNumber *' is not compatible with array element type 'NSString *'}}
44}
45
46void testDictionaryLiteral(void) {
47 NSDictionary<NSString *, NSNumber *> *dict1 = @{
48 @"hello" : @17,
49 @18 : @18, // expected-warning{{object of type 'NSNumber *' is not compatible with dictionary key type 'NSString *'}}
50 @"world" : @"blah" // expected-warning{{object of type 'NSString *' is not compatible with dictionary value type 'NSNumber *'}}
51 };
52}