Function rustc_session::options::dbopts::dump_solver_proof_tree

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