Function rustc_mir::borrow_check::nll::dump_annotation

pub(in borrow_check) fn dump_annotation<'a, 'tcx>(
    infcx: &InferCtxt<'a, 'tcx>, 
    body: &Body<'tcx>, 
    regioncx: &RegionInferenceContext<'tcx>, 
    closure_region_requirements: &Option<ClosureRegionRequirements<'_>>, 
    opaque_type_values: &FxHashMap<DefId, ResolvedOpaqueTy<'tcx>>, 
    errors_buffer: &mut Vec<Diagnostic>
)