Ой, да это притянуто за уши аргумент. Предлагаю посмотреть вот этот код:
https://gitflic.ru/project/cruso/tor/blob/?file=main.c&branch=master
Начиная со строки 65. Вы знаете, можно и так писать на С. Вы знаете, если бы можно было как-то переделывать сами препроцессоры на С, из него можно было бы сделать метаязык причем весьма разнообразно. На метаязыке можно было бы сделать свой язык. Я понимаю что вы можете не доверять чужим препроцессорам, но своим то можно? Вы ведь можете перейти по ссылке которая в статье по слову написал и открыть исходный код, например для do let is: https://github.com/j4niwzis/do_let_is/blob/main/include/do_let_is/do_let_is.h
и разобрать. А дальше сами решаете что вам важнее - более читабельный код или вместо препроцессоров самому писать такой код который вы хотите, но может менее читабельный. Я вообще не программист С - мне как-то всё-равно как там написано, более важно что в итоге оно там делает. Но читать и писать на С в целом умею. Спасибо школе, институту.

-
Ну-ну. Хоть бы в доку глянул, но не ... как на опеннете принято: прочитал и додумал, как оно там на самом деле 🤦:
--
However, unlike macros in C and other languages, Rust macros are expanded into abstract syntax trees,
--

Procedural macros allow you to run code at compile time that operates over Rust syntax, both consuming and producing Rust syntax. You can sort of think of procedural macros as functions from an AST to another AST.

Раст-макросы работают с AST‑деревом, их единственная связь с семантикой - способность сопоставлять группу токенов с конкретным типом мета‑переменной. Токены имеют место происхождения, и этой информации достаточно для гигиеничности.