Skip to main content

## insert_required_predicates_to_be_wf

# Function insert_required_predicates_to_be_wf

Source

    fn insert_required_predicates_to_be_wf<'tcx>(
        tcx: TyCtxt<'tcx>,
        ty: Ty<'tcx>,
        span: Span,
        global_inferred_outlives: &FxIndexMap<DefId, EarlyBinder<'tcx, FxIndexMap<ArgOutlivesPredicate<'tcx>, Span>>>,
        required_predicates: &mut FxIndexMap<ArgOutlivesPredicate<'tcx>, Span>,
        explicit_map: &mut ExplicitPredicatesMap<'tcx>,
    )