Symbol準引用符でシンボルの名前をつなぎ合わせても他の何かを参照しないように、マクロ展開の時点で表示されているか、(たとえば、ローカル変数によって) シャドウされているかどうかを確認したいと考えています。
http://docs.scala-lang.org/overviews/reflection/annotations-names-scopes.htmlを見ると、囲んでいる字句スコープを調べて、同じ名前のシンボルが含まれているかどうかを確認することが 1 つのアイデアです。問題は、マクロを直接囲むスコープを取得する方法が見つからないことです。