DS
Так полученный из метода
&SomeType или Vec<SomeType::SomeOtherType>?Т.е. я вызываю метод у &SomeType, получаю из него итератор, который перегоняю в Vec<SomeType::SomeOtherType>
Size: a a a
2020 May 07
DS
Раст после этого продолжает считать, что этот вектор по времени жизни зависит от &SomeType, хотя SomeOtherType : 'static
p
trasmute 🤪
DS
trasmute 🤪
Нет, в крайнем случае у меня есть альтернативный сейф вариант, но хочется это на associated типах продолжить делать
r
Раст после этого продолжает считать, что этот вектор по времени жизни зависит от &SomeType, хотя SomeOtherType : 'static
Какие сигнатуры у функций и лайфтайм параметры у типов?
DS
red75prime
Какие сигнатуры у функций и лайфтайм параметры у типов?
Там чуть хитрее, сейчас скину
DS
red75prime
Какие сигнатуры у функций и лайфтайм параметры у типов?
DS
В реальности там больше кода, но это минимальный пример. Задача в том, чтобы как-нибудь намекнуть расту, что SomethingId не зависит от &StateType
DS
Так, сам догадался
DS
Раст похоже пока ещё плохо умеет работать с HRTB
DS
Или я хочу от него слишком умного
r
fn somethings(&self) -> Self::Somethings; не работает?DS
А, не, это мне мешается в другом месте, так тоже не пойдёт.
DS
red75prime
fn somethings(&self) -> Self::Somethings; не работает?Точно так же, не пойдет для всех кейсов.
DS
Это моя попытка в эмуляцию GAT'ов, по сути.
DS
Мне хотелось бы, чтобы я мог написать вот так:
fn somethings<'a>(&'a self) -> Self::Somethings<'a>
DS
Прикол в том, что если вручную заинлайнить HasVehicleLikeCollection и VehicleLike, то код работает отлично.
DS
Там он понимает, что Vec<SomethingId> не зависит от &mut StateType
DS
Самое интересное, что если возвращать не итератор, а сразу Vec<Self::Something::SomethingId>, то тоже всё ок