What you describe is how it works in GCC/LLVM and is required in any inline asm system. Otherwise it is not really inline. Saying that fits with the type syste

What you describe is how it works in GCC/LLVM and is required in any inline asm system. Otherwise it is not really inline. Saying that fits with the type system is a stretch... it is like any other FFI.