Function rustc_typeck::outlives::implicit_infer::infer_predicates

pub fn infer_predicates<'tcx>(
    tcx: TyCtxt<'tcx>, 
    explicit_map: &mut ExplicitPredicatesMap<'tcx>
) -> FxHashMap<DefId, BTreeMap<OutlivesPredicate<GenericArg<'tcx>, Region<'tcx>>, Span>>

Infer predicates for the items in the crate.

global_inferred_outlives: this is initially the empty map that was generated by walking the items in the crate. This will now be filled with inferred predicates.