Skip to main content

insert_required_clauses_to_be_wf

rustc_hir_analysis::outlives::implicit_infer

Function insert_required_clauses_to_be_wf 

Source 
fn insert_required_clauses_to_be_wf<'tcx>(
    tcx: TyCtxt<'tcx>,
    ty: Ty<'tcx>,
    span: Span,
    global_inferred_outlives: &FxIndexMap<DefId, EarlyBinder<'tcx, FxIndexMap<ArgOutlivesClause<'tcx>, Span>>>,
    required_clauses: &mut FxIndexMap<ArgOutlivesClause<'tcx>, Span>,
    explicit_map: &mut ExplicitClausesMap<'tcx>,
)