Мне кстати конкретно drain_filter не подходит, т.к. он удаляет элементы по фильтру в дропе :(

1. Ну скорее всего у тебя тут Х не тайп параметр, а ассоциативный тип должен быть.
2. trait A: B, боунд наверное тоже не обязателен, так как B у тебя просто "детали реализации".
3. Ну и вообще трейт B, имхо, это попытка натянуть ООП, на Раст, по хорошему Трейт должен описывать поведение, а не реализовывать доступ к полям.



Как это можно написать учитывая 1-2:

trait B {
type X;
fn inner(&mut self) -> &mut Self::A
}
impl B for S<T>{type X = T;...}
...
trait A{
fn reset(&mut self);
}

impl<X> A for X
where X: B,
<X as B>::X : Default,
{
fn reset(&mut self) ->{* self.inner = Default::default()}
}

А чего не nvim-lsp?

Ну делаешь ManuallyDrop<T> и руками их ptr::read, чего уж там.

@c_vld Как вы предложили, сделать к сожалению не получилось. Я сделал B как pub(crate)(в противном случае inner() был бы публично доступен, что противоречит самой цели), и он тогда ругается, что "crate-visible trait B in public interface" на impl<X> A for X where X: B, <X as B>::X : Default,

Кстати, у тебя code action работает?

Это чего?

forbid(unsafe_code) 😞

Кто мешает засилить трейт, чтобы другие крейты не могли имплементить трейт?

@c_vld Как вы предложили, сделать к сожалению не получилось. Я сделал B как pub(crate)(в противном случае inner() был бы публично доступен, что противоречит самой цели), и он тогда ругается, что "crate-visible trait B in public interface" на impl<X> A for X where X: B, <X as B>::X : Default,

Позволяет делать всякие вещи типа «додерайвить трейт» или «заполнить ветки match»

Это ты какой-то CoC.vim + плагин RA на тайпскрипте хочешь.

Только не работает.