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
37 //~^ ERROR mismatched types
41 //~^ ERROR mismatched types
45 //~^ ERROR mismatched types
49 //~^ ERROR mismatched types
53 //~^ ERROR mismatched types
58 //~^ ERROR mismatched types
62 //~^ ERROR mismatched types
66 //~^ ERROR mismatched types
70 //~^ ERROR mismatched types