./error_decl_type_var.nit:17,1--16: Type error: expected Int, got Char