error_decl_type_var.nit:17,14--16: Type Error: expected `Int`, got `Char`.