我试图写一个Rust宏，它扩展为一个枚举，其变体包含需要生命周期注解的类型的数据，而编译器不允许。
我把这个问题归结为这个最小的例子：

struct A<'a> {
    s: &'a str
}

macro_rules! my_macro {
    ( $ty:ty ) => {
        enum E<'a> {
            M($ty<'a>)
        }
    }
}

my_macro!(A);

正如您所看到的，这意味着写出一个枚举E，其中包含一个变量M，该变量包含的数据的类型取自宏参数，并被赋予一个生命周期参数'a。但是尝试编译它会产生一堆我觉得奇怪的错误（我已经从编译器的确切输出中缩短了一点）：

error: lifetime in trait object type must be followed by `+` --> src/lib.rs:8:19
   |
8  |             M($ty<'a>)
   |                   ^^
...
13 | my_macro!(A);
   | ------------ in this macro invocation
   |
   = note: this error originates in the macro `my_macro` (in Nightly builds, run with -Z macro-backtrace for more info)

error: expected one of `)` or `,`, found `<` --> src/lib.rs:8:18
   |
8  |             M($ty<'a>)
   |                  ^
   |                  expected one of `)` or `,`
   |                  help: missing `,`

error: expected one of `)`, `+`, or `,`, found `>` --> src/lib.rs:8:21
   |
8  |             M($ty<'a>)
   |                     ^ expected one of `)`, `+`, or `,`

我完全不明白什么特质对象？据我所知没有。
另外，用一个不使用宏类型变量$ty的变量定义替换M($ty<'a>)，例如M(A<'a>)，使它工作得很好。
我如何理解编译器的抱怨，以及如何编写一个宏来生成我想要的枚举类型？