зависимый от 'a в этом кейсе
Буду благодарен если кто-то пояснит
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=7a407aeef8e4cb272a36a61c60be20fd
I: IntoIterator<Item = &'a Item> + 'a
У меня есть issue ровно на эту тему) RPIT всегда включает в себя все лайфтаймы и "лайфтаймы" дженериков
А можешь ссылочку дать?
Ну держи: https://github.com/rust-lang/rust/issues/76882 Только там ничего интересного нет
Подпишус Спасибо
а, соврал, только у дженериков, лайфтаймы надо явно прокидывать
TAIT кстати фиксит: https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=5b919a310b5d0dfb0afbb745f162cab3
Не очевидное поведение. Почему?
Потому что у тайпалиаса в его "скоупе" нет дженерика. Он не видит I, и вообще мог бы определяться несколькоми функциями.
Т.е. у TAIT явно надо лайфтаймы прокидывать, а у RPIT оно автоматом
Обсуждают сегодня