Function infer_predicates 

pub(super) fn infer_predicates(
    tcx: TyCtxt<'_>,
) -> FxIndexMap<DefId, EarlyBinder<'_, FxIndexMap<ArgOutlivesPredicate<'_>, Span>>>

Infer outlives-predicates for the items in the local crate.