./error_ret_type.nit:19,9--11: Type error: expected Int, got Char