Function rustc_session::options::dbopts::dump_solver_proof_tree_use_cache

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