我写了一个小宏来帮助我探索事物被解析为什么。砍掉几条胳膊后，它看起来像：

macro_rules! show_me{
    ($l : literal $($tail : tt)*) => {
        println!("{} is a literal and then I see {}", stringify!($l), stringify!($($tail)*));
        show_me!($($tail)*)
    };
    (- $($tail : tt)*) => {
        println!("{} is a - and then I see {}", stringify!(-), stringify!($($tail)*));
        show_me!($($tail)*)
    };
    ($i : ident $($tail : tt)*) => {
        println!("{} is an ident and then I see {}", stringify!($i), stringify!($($tail)*));
        show_me!($($tail)*)
    };
    ($token : tt $($tail : tt)*) => {
        println!("{} is a mystery and then I see {}", stringify!($token), stringify!($($tail)*));
        show_me!($($tail)*)
    };
    () => {}
}

使用rustc 1.66.0（69 f9 c33 d 7 2022-12-12）时，在某些输入上的表现与预期一致：

show_me!(x + 1);
# x is an ident and then I see + 1
# + is a mystery and then I see 1
# 1 is a literal and then I see

但如果我尝试一个负数，我会（有点）惊讶：

show_me!(-4);
# -4 is a literal and then I see

这是非常有意义的，除了https://doc.rust-lang.org/reference/procedural-macros.html说（在声明性宏的描述下）：

• 文字（“字符串”、1等）

请注意，否定（例如-1）从来不是此类文字标记的一部分，而是单独的运算符标记。
让我感到奇怪的是，如果我尝试运行show_me!(-x)：

error: unexpected token: `x`
  --> src/main.rs:54:15
   |
54 |     show_me!(-x);
   |               ^
   |
  ::: src/utils/macros.rs:27:6
   |
27 |     ($l : literal $($tail : tt)*) => {
   |      ------------ while parsing argument for this `literal` macro fragment

请注意，如果我注解掉show_me的literal分支，或者只是将其移到匹配器的底部，其他分支会对此非常满意：

show_me!(-x);
# - is a - and then I see x
# x is an ident and then I see

我的期望是匹配的arm要么匹配成功，要么失败到下一个模式。相反，它抛出了编译错误。在这种情况下发生了什么？
还有，我是读错了文档还是它不正确？对我来说，它似乎明确地说-永远不应该是声明性宏中文字表达式的一部分（尽管它可能是过程性宏的一部分）