それって普通のif文のフローも全部トレースしたいって言ってるのと同じ気がするけど・・・

3:30 AM

それはコンパイラに手を入れるしか無い？

コンパイラに手を入れるアプローチだったら

3:30 AM

guard文をSILに変換する時に

3:31 AM

else本文の先頭の生成部で print を生成すればできそう

3:31 AM

SwiftSyntaxが完成すれば、AST変換で実装するのもできそう