7 //~^ ERROR mismatched types
10 //~^ ERROR mismatched types
13 //~^ ERROR mismatched types
16 //~^ ERROR mismatched types
19 //~^ ERROR mismatched types
22 //~^ ERROR mismatched types
25 //~^ ERROR mismatched types
29 //~^ ERROR mismatched types
32 //~^ ERROR mismatched types
35 //~^ ERROR mismatched types
38 //~^ ERROR mismatched types