Function rustc_trait_selection::traits::error_reporting::dump_proof_tree

pub fn dump_proof_tree<'tcx>(
    o: &Obligation<'tcx, Predicate<'tcx>>,
    infcx: &InferCtxt<'tcx>
)