//~ ERROR declared
//~ ERROR isn't in the function signature
//~ ERROR declared
//~ ERROR isn't in the function signature
//~^ ERROR 'a' is declared
//~^^ ERROR 'b' is declared
//~^ ERROR isn't in the function signature
//~^^ ERROR isn't in the function signature