В рантайме он исчезнет

От него не останется ничего

ну это вроде возможно

так что победа

Пиши сразу нормально) (троллинг)

А ты попробуй. Это возможно, но какой ценой.

Придется как дураку с HRTB бегать

Инстанциируем HKT ручками. 🤷‍

Да ладно тебе. Напишешь полотно типа в отдельном файле😁

И импортируешь в файл с трейтом

Генерируешь тип из диаграммы-картинки

Проблема не в типе, проблема в других местах будет. То есть какой сейчас state of the art:

trait HasMyItems<'a> {
  type MyItems : Iterator<Item = &'a MyItem>;
  fn get_my_items(&'a self) -> MyItems;
}

// Использование: 

fn do_something<'a, Holder: for<'a> HasMyItems<'a>>(holder: &Holder) {
  ...
}

Ну либо брать nightly + GAT и верить в лучшее

Что оно не даст тебе ICE в лицо

trait HasMyItems<'a> {
  type MyItems : Iterator<Item = &'a MyItem>;
  fn get_my_items(&'a self) -> MyItems;
}

// Использование: 

fn do_something<'a, Holder: for<'a> HasMyItems<'a>>(holder: &Holder) {
  ...
}

Ну вроде все норм

А проблема с типом итератора решается через trait_alias и impl trait в определении типа

В любом нетривиальном примере у тебя будет HRTB головного мозга, которое при этом иногда не работает как надо.

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

Hrtb?

higher-rank trait bounds

Ну и сравни с решением на GAT:
```

trait HasMyItems {
  type MyItems<'a> : Iterator<Item = &'a MyItem>;
  fn get_my_items<'a>(&'a self) -> MyItems<'a>;
}

// Использование, заметь, HRTB исчезло к чертям собачим

fn do_something<'a, Holder: HasMyItems>(holder: &Holder) {
  ...
}

```