I wonder if it would be possible to implement a safe_asm macro in Rust? Even if unrestricted asm is inherently unsafe, there's got to be a subset of instructio

I wonder if it would be possible to implement a safe_asm macro in Rust? Even if unrestricted asm is inherently unsafe, there's got to be a subset of instructions and operand types you can guarantee is safe if called a certain way.