5 //~^^ ERROR only char and numeric types are allowed in range
10 //~^^ ERROR only char and numeric types are allowed in range
15 //~^^ ERROR only char and numeric types are allowed in range
21 //~^^^ ERROR mismatched types
22 //~| expected type `{integer}`
23 //~| found type `char`