Если на твоем коде, то что-то вроде этого https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=30935af298b8f0f960229e13c4ffabaa

да, я примерно понял. у меня нарочито остановка не была реализована. ещё раз спасибо большое

осилил, завелось. сильно проще, спасибо :)

👍

Амм, ребят ...
Я что не могу сделать

trait A { type Inner }
trait Example { type Associated: String | A where Inner == Vec<_> }

?

trait A { type Inner }
trait Example { type Associated: String | A where Inner == Vec<_> }

Казалось бы:

trait Inner2 {}
impl Inner2 for String {}
impl<T, U> Inner2 for T where T: A<Inner=Vec<U>> {}

type Associated: Inner2;

Замечательно, пусть это куча бойлерплейта, но возможно - решение. Как теперь запечатать трейт?

Точно не в токио дело было :) Беда с кубером и руками

Гугли rust code guidelines sealing trait

Выражается через приватный под-модуль с публичным трейтом

я иногда готов убивать за sealed trait'ы

доков к ним нет, что это такое — непонятно, какие у них требования — непонятно, сплошное удобство

в чём проблема сделать НЕ-sealed трейт? ну будет у юзеров возможность имплементировать этот трейт, и что с того?

Согласен. Но делать их надо

Здорово, тока сначала бойлер напишу

Ну тут уже скорее философский вопрос на тему стабильности API (ну, внутренний интерфейс, оказывается доступным пользователю)

#[doc(hidden)] 😸

Все равно потом претензии будут

Почему нет? У самих sealed трейтов обычная дока же. А вот уже у его супер-трейта нету. Но так как супер-трейт создаётся только для sealing, то там дока и не нужна. Просто нужно дать очевидное название. К примеру:
trait MyTrait: private::Sealed
И всё путём.

Нужно это действительно редко. Но иногда прям очень нужно.

Жаль только, что эта техника не языковая фича, а эмулируется модулями и приватностью.
Не хватает сверху exhaustive проверок, и учёта этого дела при резолве orphan rules.