Может уже спрашивали, но как обозначить требование к lifetime, обратное

к outlive?
Есть обобщённая структура, в которой метод - итератор по ссылкам на обобщение (ссылкам - потому что обобщённый параметр может требовать аллокаций, а доступность значений итератора нужна только на время работы функции).
Нечто такое добить:
#[derive(Default)]
struct DestStruct<Id: std::fmt::Debug> {
_marker: std::marker::PhantomData<Id>,
}
impl<'i, Id: std::fmt::Debug + 'i> DestStruct<Id> {
// некий обратный outlive?
fn some_function<'r: ('i:'r), I>(data: I)
where
I: Iterator<Item = &'r Id> + 'r,
{
for el in data {
println!("{:?}", el)
}
}
}
Полный пример

Спасибо

Добавить в where 'i: 'r

Должно быть нет, да и пробовал impl<'i:'r, Id: std::fmt::Debug + 'i> DestStruct<Id> порождает 'use of undeclared lifetime name 'r' а impl<'i, Id: std::fmt::Debug + 'i> DestStruct<Id> { fn some_function<'r, 'i: 'r, I>(data: I) where I: Iterator<Item = &'r Id> + 'r, { даёт lifetime name 'i shadows a lifetime name that is already in scope - а ведь я просто хочу наложить ограничение на обобщённый 'r, что 'r живёт не дольше 'i

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=d5f4999f1c1d096da018758d162bd4b7