1// RUN: %clang_cc1  -fsyntax-only -verify %s
2
3typedef unsigned int size_t;
4@protocol P @end
5
6@interface NSMutableArray
7- (id)objectAtIndexedSubscript:(double)index; // expected-note {{parameter of type 'double' is declared here}}
8- (void)setObject:(id *)object atIndexedSubscript:(void *)index; // expected-note {{parameter of type 'void *' is declared here}} \
9								 // expected-note {{parameter of type 'id *' is declared here}}
10@end
11@interface I @end
12
13int main() {
14  NSMutableArray<P> * array;
15  id  oldObject = array[10]; // expected-error {{method index parameter type 'double' is not integral type}}
16  array[3] = 0; // expected-error {{method index parameter type 'void *' is not integral type}} \
17                // expected-error {{cannot assign to this array because assigning method's 2nd parameter of type 'id *' is not an Objective-C pointer type}}
18
19  I* iarray;
20  iarray[3] = 0; // expected-error {{expected method to write array element not found on object of type 'I *'}}
21  I* p = iarray[4]; // expected-error {{expected method to read array element not found on object of type 'I *'}}
22
23  oldObject = array[10]++; // expected-error {{illegal operation on Objective-C container subscripting}}
24  oldObject = array[10]--; // expected-error {{illegal operation on Objective-C container subscripting}}
25  oldObject = --array[10]; // expected-error {{illegal operation on Objective-C container subscripting}}
26}
27
28@interface NSMutableDictionary
29- (id)objectForKeyedSubscript:(id*)key; // expected-note {{parameter of type 'id *' is declared here}}
30- (void)setObject:(void*)object forKeyedSubscript:(id*)key; // expected-note {{parameter of type 'void *' is declared here}} \
31                                                            // expected-note {{parameter of type 'id *' is declared here}}
32@end
33@class NSString;
34
35void testDict() {
36  NSMutableDictionary *dictionary;
37  NSString *key;
38  id newObject, oldObject;
39  oldObject = dictionary[key];  // expected-error {{method key parameter type 'id *' is not object type}}
40  dictionary[key] = newObject;  // expected-error {{method object parameter type 'void *' is not object type}} \
41                                // expected-error {{method key parameter type 'id *' is not object type}}
42}
43