D
Почему нет? У самих sealed трейтов обычная дока же. А вот уже у его супер-трейта нету. Но так как супер-трейт создаётся только для sealing, то там дока и не нужна. Просто нужно дать очевидное название. К примеру:
trait MyTrait: private::Sealed
И всё путём.
Нужно это действительно редко. Но иногда прям очень нужно.
Жаль только, что эта техника не языковая фича, а эмулируется модулями и приватностью.
Не хватает сверху exhaustive проверок, и учёта этого дела при резолве orphan rules.
trait MyTrait: private::Sealed
И всё путём.
Нужно это действительно редко. Но иногда прям очень нужно.
Жаль только, что эта техника не языковая фича, а эмулируется модулями и приватностью.
Не хватает сверху exhaustive проверок, и учёта этого дела при резолве orphan rules.
если бы все этому следовали, то ок, а то иной раз в функции баунд типа
: Lol, а Lol — уже приватный трейт, и вот в такие моменты хочется достать что-то потяжелее и отправиться в гости к авторам