How to use storytelling to fit inline assembly into Rust

This is interesting, as Ralf's articles always are. I wonder if/how will this concept be formalized. Rust is slowly but surely moving in good direction with regards to formal model of the language.