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