Function dump_annotation

pub(crate) fn dump_annotation<'tcx, 'infcx>(
    infcx: &'infcx BorrowckInferCtxt<'tcx>,
    body: &Body<'tcx>,
    regioncx: &RegionInferenceContext<'tcx>,
    closure_region_requirements: &Option<ClosureRegionRequirements<'tcx>>,
    concrete_opaque_types: &ConcreteOpaqueTypes<'tcx>,
    diagnostics_buffer: &mut BorrowckDiagnosticsBuffer<'infcx, 'tcx>,
)