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.