Function rustc_hir_analysis::outlives::implicit_infer::infer_predicates

source ยท
pub(super) fn infer_predicates(
    tcx: TyCtxt<'_>,
) -> FxIndexMap<DefId, EarlyBinder<'_, FxIndexMap<OutlivesPredicate<'_, GenericArg<'_>>, 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.