pub(super) fn next_solver(cg: &mut UnstableOptions, v: Option<&str>) -> bool