`Ok(const_eval::const_int(val)) => current_disr_val = val as int,`