Function compute_concrete_types_from_defining_uses 

fn compute_concrete_types_from_defining_uses<'tcx>(
    root_cx: &mut BorrowCheckRootCtxt<'tcx>,
    rcx: &RegionCtxt<'_, 'tcx>,
    defining_uses: &[DefiningUse<'tcx>],
    errors: &mut Vec<DeferredOpaqueTypeError<'tcx>>,
)