RACE: Semantic-linker approach to stable cross-crate ABI without runtime overhead

since you can use field offsets in constant expressions which allow you to arbitrarily change types, your proposal essentially means delaying nearly all compilation work to link time. e.g.: Compiler Explorer