カンペキな健全マクロなんてものを本当に欲しいと思っているのなら、もはや病気だよ
中でいくらunsafeなことをやってても、出来上がったマクロがあらゆる入力に対してsafeであればそれでいいじゃないの
プログラミングってのは、本質的にそういうもんでしょうに…