Function rustc_hir_analysis::outlives::implicit_infer::infer_predicates
source · 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.