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