B, C> {
// code...
}
trait Trait2<A> {}
Есть ли какой-то способ показать, что Trait2<A> — это тоже самое, что и Trait1<A, KnowedB, KnowedC>?
Пробовал: impl<A, T: Trait2<A>> Trait1<A, KnowedB, KnowedC> for T { // code... } И trait Trait2<A>: Trait<A, KnowedB, KnowedC> {} Но оба способа не подходят: 1. Заставляет реализовать функции из Trait1 2. Если структура имплементит Trait2, то она должна обязательно имплементить и Trait1
А какой юзкейс?
Хммм Наверное лучше скинуть ссылкой Если говорить предметно, то у меня есть: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=e04e2aa2606aff203dbcb132a2391754
а с тлф не пашет только что обновился цитаты цветными стали, а код нет
Обсуждают сегодня