我在使用 Macro Paradise 的 Scala 2.10.3 上。我有一个宏注释，我试图在对象上添加一个特征，例如：
@MyAnnotation
object Foo extends Bar {}
扩展后我想要类似的东西：
object Foo extends Bar with Baz {}
Baz在编译范围内可访问的特征在哪里。使用宏天堂我可以干净地解构我的目标树：
q"object $obj extends ..$bases { ..$body }" = tree
其中 bases 以 List of Ident(newTypeName("Bar")) 形式保存现有扩展
我可以在Baz基础上添加一个额外的条目并重建树，问题是目标可能“已经”包含Baz. 在这种情况下，我不想添加它。给我的术语名称被缩短了。有没有办法将它们转换为宏内的实际类型引用？
我在宏中尝试了以下操作：c.typeCheck(Ident(newTypeName("Baz")))但出现以下错误：
scala.reflect.macros.TypeCheckException: trait some.Baz is not a value
我查看了上下文，看看是否还有其他明显的方法可以使用，但没有一个跳出来。
任何帮助表示赞赏！