fn inferred_outlives_of<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id_arg: inferred_outlives_of<'tcx>
) -> inferred_outlives_of<'tcx>