4 //~^ NOTE function defined here
5 //~| NOTE function defined here
6 //~| NOTE function defined here
7 //~| NOTE function defined here
8 //~| NOTE function defined here
9 //~| NOTE function defined here
10 //~| NOTE function defined here
11 //~| NOTE function defined here
12 //~| NOTE function defined here
13 //~| NOTE function defined here
14 //~| NOTE function defined here
29 //~^ ERROR mismatched types
33 //~^ ERROR mismatched types
38 //~^ ERROR mismatched types
42 //~^ ERROR mismatched types
46 //~^ ERROR mismatched types
50 //~^ ERROR mismatched types
54 //~^ ERROR mismatched types
58 //~^ ERROR mismatched types
62 //~^ ERROR mismatched types
66 //~^ ERROR mismatched types
70 //~^ ERROR mismatched types