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