Пятница. Вечер.. Наверное поэтому мы не понимаем друг друга.

Что в С, что в C++ облом на стадии компиляции организовывается через static_assert()

Я знаю зачем это нужно на практике.

Размер типа по указателю это банальный sizeof(*ptr), если ptr не на void

я НЕ понимаю зачем в Русте сохранение при ассерте в переменную. Вернее, понимаю это как хак над assert, который работает в рантайме. А, если сохранять в const, то сработает во время компиляции.

И если я это правильно понял, то это ппц. Я бы мог написать пост с объяснением почему, но он слишком длинный для пятницы. Но если кратко и непонятно: то так убивается дофаминовая система и человек идёт работать охранником.

Необдуманно я пообещал Прохожему не угорать на Рустом. Забейте. Это мой искромётный юмор