это не то.... индексы ломаются

но я пока выкрутился через slab::retain

А как ещё ты хочешь? Ну можешь хранить Option<T> в слабах.

Но там придётся хранить и список None элементов.

почти все слабы так и сделаны, там enum

retain вроде бы как раз для такого и сделан, нет?

ну почти..... просто както не очень выглядит когда по сути в фильтре для слаба, я меняю элементы....

Как ты через &T меняешь?

А, у слаба &mut T retain выдаёт.

Ну сделай в две итерации — одной меняешь, второй retain.

это готовый крейт для слаба. оно все работает, но стремно выглядит.....

особенно вот эта конструкция
c.addr == packet.dst && checked_send(c, Message::Send(packet.clone()))

Для Vec в найтли есть drain_filter. В slab тоже неплохо-бы добавить

Хотя, с учётом возможности mem::forget на частично поглощённый итератор, там вряд ли можно оптимизировать копирование элементов при удалении.

слаб я по сути использую изза постоянных индексов, потом они будут пихатся в хешмап.....

А почему просто не сразу в хашмапу?

потому что с одним адресом может быть много клиентов...... и городить хешмап из слабов такоэ.....

а постоянные индексы нужны, чтобы управлялка соединениями могла нормально за ними следить

Псевдокод (по мотивам довольно сложного реального проекта):

trait Base {}
trait Derived : Base {}
trait DerivedDerived : Derived {}

trait Base объявляет ассоциированный тип N.
trait DerivedDerived объявляет другой ассоциированный тип, параметризованный N
type M = X<N> (X - независимый внешний генерик-тип)

Почему компилятор выдаёт такую ошибку?
the trait bound Self: Base is not satisfied
и предлагает добавить:
trait DerivedDerived : Base + Derived {}
?

Ведь "наследование" от Derived уже предполагает, что нужно удовлетворить и Base.

Хорошо, добавляю Base + Derived
Получаю другую ошибку:
ambiguous associated type N in bounds of Self

Ну да, теперь в DerivedDerived видны два типа N - от каждого из трейтов.

Можно ли выкрутиться? Нужно "наследовать" DerivedDerived от Derived.