Ты представляешь себе, что такое ABI, Application Binary Interface? Он описывает как значения должны выглядеть в разных ситуациях. Например, когда мы хотим это значение хранить в памяти. Или когда мы хотим хранить массив таких значений в памяти. Или когда мы передаём значение в функцию. ABI позволяет проводить чёткие границы между разными кусками программы, чтобы потом из этих кусков как из кубиков можно было бы собирать более сложные конструкции. Чтобы когда ты из одной функции вызываешь другую, не надо было бы проводить анализ вызываемой функции с тем, чтобы выяснить как туда передать аргументы.

Насчёт же невозможности выполнения гарантий раста, у меня встаёт другой вопрос: тебе математику в школе читали? Учили понимать точный смысл слов и свои мысли выражать точными фразами, не допускающими двусмысленностей? Утверждение "имеют идентичный размер и выравнивание" будет истинным и в том случае, когда значение расширяется до 64 бит, чтобы передать через 64 битный регистр, и даже несмотря на то, что при хранении в регистре выравнивания нет как класса. То есть утверждение "char и u32 имеют идентичный размер и выравнивание" будет истинным и для C но с оговоркой "при передаче в функцию".