RalfJung wrote: Well, we need something like this in the specification to give frontends like Rust the assurances they would like to provide to their users -- e.g. for use of inline asm blocks in self-modifying code. https://github.com/llvm/llvm-project/pull/157080