我的目标是作为输入特征类型。
my_test_macro!(Trait1, Trait2<Test1, Test2=Test3>)
到目前为止,我尝试的是编写这样的解析器。
$( $ty:ident < $( $N:ident $(: $b0:ident $(+$b:ident)* )? ),* $($tname:ident=$ttype:ident),* > )+*
但它造成了当地的歧义。
error: local ambiguity: multiple parsing options: built-in NTs ident ('N') or ident ('tname').