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