Function rustc_hir_analysis::outlives::implicit_infer::infer_predicates

pub(super) fn infer_predicates<'tcx>(
    tcx: TyCtxt<'tcx>
) -> FxHashMap<DefId, EarlyBinder<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.