pub fn explicit_outlives_bounds<'tcx>(
    param_env: ParamEnv<'tcx>,
) -> impl Iterator<Item = OutlivesBound<'tcx>> + 'tcx