そうですね。マクロ引数の型があってるかはSwiftによって処理されるけど、中の式の処理は全部マクロ実装側で、既にオーバーロードとか処理してて十分複雑なので複雑な式は対応できないんだと予想してます (edited)