ほとんどの場合は展開前コードだけで実用的にはなるんじゃないかと思いますが、ローカル変数注入以外にも、 func foo(x: Int) { print(x) } が func foo(x: Int) { wrapper { (x: Wrapped<Int>) in print(x) } } に展開されるみたいなときに、不正確になる可能性が高いですね。