p
Было бы
(Ext1, (Ext2, ()))
(Ext1, (Ext2, ()))
Size: a a a
2021 April 23
TK
Сделай так, чтобы это заработало
p
И потом impl Ext1Trait for T<Features> where Features: Contains<Ext1>
KR
Для бэка
B
глист вроде даже и работает, но там надо с каждым екстеншоном тянуть за собой генерик параметр
B
если бы была специализация то глист был бы ответом
p
Че
p
А, индекс?
p
Да, нужно
B
ага
p
И похуй
TK
Ну и разворачивается это в ещё более страшную штуковину, которую в клиентском коде ещё и нормально не используешь. К тому же позиция не будет фиксирована.
p
А нахер тебе фиксированная позиция
B
а не нужна она, поэтому и индекс хвостом тянется
p
Индекс в пользовательский код не попадет же
B
попадает
p
Покажи
B
Переслано от Alex Noname
ну как вариант вот так
т.е. придется вот этот хак с
trait Ext1<I> {
fn doo1(&self) {}
}
impl<L, I> Ext1<I> for Api<L>
where
L: Selector<Marker1, I>,
{
fn doo1(&self) { todo!(); }
}
fn call_with1<I>(a: &impl Ext1<I>) {
a.doo1();
}т.е. придется вот этот хак с
I c cобой всегда носить. Это конечно делает использование апи не таким елегантным. Но щито поделать.p
Я для телока делал так что не попадали