JamesMunns[m]: > <@jamesmunns:beeper.com> it's always good to remember that Rust's memory model is aiming at being "a stricter subset of what compilers actually understand", so that if you are good according to Rust's model, you are certainly good on whatever backend you use.
> 
> Even if Miri says "oh no", LLVM might still say "cool whatever" (for now)

but still - if you fall afoul of rust's rules, today's success may not predict future results (like all UB, tbh).

However, stuff like MIMO and non-basic understanding of providence is still not totally specified, afaik.