pub(super) fn infer_predicates(
    tcx: TyCtxt<'_>
) -> FxIndexMap<DefId, EarlyBinder<BTreeMap<OutlivesPredicate<GenericArg<'_>, Region<'_>>, Span>>>
Expand description

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.