rustc_hir_analysis::outlives::implicit_infer

Function 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.