Твою глубину рекурсии тож не развернёт

имплы трейтов вообще не работают

Мне совершенно, абсолютно не хватает gensym в macro_rules!

Greenspun был прав

Language:

rust

Source:

trait M<A> {}
impl<A, B> M<A> for (A, B) {}
impl<A, B> M<B> for (A, B) {}
fn main() {}

Errors:

error[E0119]: conflicting implementations of trait `M<_>` for type `(_, _)`:
 --> 845880507/source.rs:3:1
  |
2 | impl<A, B> M<A> for (A, B) {}
  | -------------------------- first implementation here
3 | impl<A, B> M<B> for (A, B) {}
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `(_, _)`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0119`.

Сука, я не хочу блять тайп левел индексы, но видимо придется

rust

trait M<A> {}
impl<A, B> M<A> for (A, B) {}
impl<A, B> M<B> for (A, B) {}
fn main() {}

error[E0119]: conflicting implementations of trait `M<_>` for type `(_, _)`:
 --> 845880507/source.rs:3:1
  |
2 | impl<A, B> M<A> for (A, B) {}
  | -------------------------- first implementation here
3 | impl<A, B> M<B> for (A, B) {}
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `(_, _)`

error: aborting due to previous error

For more information about this error, try `rustc --explain E0119`.

Эээ а что ты ожидал?

Расту пофиг на твои буковки, правда

Эти две строчки буквально эквивалентны

Это не какая-нибудь сложная логика, которая запрещает использовать умножение в реализации констдженериков, это тупо две одинаковые строчки

Нет это разные строчки

Придумай лучше как здесь обойтись без тайп левел индексов которые я ебал

Нет, это одинаковые строчки.
1. Порядок объявления дженерик аргументов незначим, если они не зависят друг от друга

impl<A, B> M<B> for (A, B)
// ==
impl<B, A> M<B> for (A, B)

2. Сами по себе буквы незначимы

impl<A, B> M<B> for (A, B)
// ==
impl <A, B> M<A> for (A, B)

Ты не хочешь писать на языке, в котором идентификаторы что-то значат сами по себе

impl<A, B> M<B> for (A, B)
// ==
impl<B, A> M<B> for (A, B)

impl<A, B> M<B> for (A, B)
// ==
impl <A, B> M<A> for (A, B)

Если заменить на конкретные типы то все норм
M<i32> for (i32, u32)
M<u32> for (i32, u32)

А где ты гарантируешь, что A != B?

Я канешно могу заставить юзеров это вручную мономорфизировать...

У меня есть крейт которые кидает клмпайл-тайм ошибку, но мне кажется компилятор не догадается что там это условие выполняется

Компилятор не умеет в negative bounds никакого рода

Включая A != B