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