7 @class Sub;
12 -(void) method2: (Sub*) x; // expected-note{{passing argument to parameter 'x' here}}  argument
23 @interface Sub : Base  interface
25 -(void) method1: (Sub*) x;	// expected-warning {{method parameter type 'Sub *' does not match super…  argument
27 + method3: (int)x1 : (Sub *)x2 : (float)x3;	// expected-warning {{method parameter type 'Sub *' doe…
29 -(void) method_r: (char)ch : (float*)f1 : (Sub*) x; // expected-warning {{method parameter type 'Su…  argument
34 void f(Base *base, Sub *sub) {
36 …[base method:&x];  // warn. if base is actually 'Sub' it will use -[Sub method] with wrong argumen…
39   [base method1:b]; // if base is actuall 'Sub'  it will use [Sub method1] with wrong argument.
43   Sub *s;
44   [base method2:s]; // if base is actually 'Sub' OK. Either way OK.