> Хм, в таком виде это и сишники с compile time assert могут.
> А без этого ассерта сломать билд макросами сможете? Системщина - о
> том чтобы уметь черную магию самому, а не полагаться на черные
> ящики от богов. На сишном препроцессоре можно сделать какой-никакой аналог static
> assert самому. Проверено .. тусовочкой Торвальдса, внезапно.

Сколько пафоса о черной магии и ящиках ...
а ничего, что const_assert! - и есть макрос (на что намекает "!")?
https://docs.rs/static_assertions/0.2.5/src/static_assertion...

 Constant expressions can be ensured to have certain properties via this
/// macro If the expression evaluates to `false`, the file will fail to compile.
/// This is synonymous to [`static_assert` in C++][static_assert].
...
#[macro_export]
macro_rules! const_assert {

Плюсанутый static_assert на стеро^W макросах.
Да, "так тоже можно было".
Довольно наглядная демонстрация разницы между полноценными макросами и препроцессорной текстозаменялкой получилась.

> А таки тот text replacement на самом деле - "почти тюринг полный". И вон те господа запилили на нем, внезапно, range check - без требования поддержки static assert канпилером. Вот это суровые системщики, а не мягкотелые вебмакаки - они те кто и реализует любые потребные иллюзии, по мере надобности.

Пафос начинает зашкаливать - при околонулевой конкретике и отношению к теме.

Дай угадаю - кроме паскальщины и сишки ничем более никогда не интересовался (т.е. "слаще морковки не едал" (с) ), гордо считая все остальное "уделом смузихлебов".
Но "затриггерился" на в общем-то общеизвестное и полез что-то доказывать. Хотя из макросных систем - видел только сишную.

>> и имеющей доступ к AST/токенам, то у меня для тебя плохие
>> новости отностительно твоей "квалификации" ...
> С точки зрения квалификации - мне не нравятся черные ящики от богов,
> которые я не могу заимплементить сам. Предпочитаю знать как делать черную
> магию самого жесткого разлива самому, не уповая на "более высокоразвитых" которым

Оспаде. Прочитай уже книжку о компилятороестроении, что ли, чтобы AST не казался теюе "черной магией от богов" для "более высокоразвитых".

Что особенно иронично - мощная макросная система позволяет действовать где-то на уровне комилера при "жонглировании AST", что как раз _уменьшает_ "черноящиковость" и "магию" компилятора, т.к. позволяет многие фичи довешивать в виде макросов.