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