Some notes on Rust, mutable aliasing and formal verification (via asb) — discussion

#plt #rust