ローカル変数が注入されるタイプのマクロとかは、マクロ側でその変数の型情報とかを(peerマクロとかの名前のprefixとかみたいに)ヒントとして宣言するようなのが良さそう

6:46 AM

でも分岐の片方だけある変数が使えるとか、表現できないパターンは無限にあるな

6:46 AM

↑の挟んで2回出てくるパターンもそうですね