Как обеспечить, чтобы тип реализовывал черту во время компиляции?

Я хочу написать макрос так:

macro_rules! a {
    ( $n:ident, $t:ty ) => {
         struct $n {
             x: $t
         }
    }
}

Но$t следует реализоватьAdd, Sub а такжеMul черты. Как я могу проверить это во время компиляции?

Ответы на вопрос(1)

Ваш ответ на вопрос