Zhiyao questions

• Why writing through a pointer to a moved variable has not been decided as UB in Rust?
• Is signed integer overflow in safe Rust in release mode considered as undefined behavior?
• Will the non-lexical lifetime borrow checker release locks prematurely?
• Why can a generic lifetime parameter in Rust be specialized to two disjoint lifetimes for one object?
• Is the lifetime of `&mut []` treated specially during lifetime analysis in Rust? [duplicate]
• Why does the Rust compiler not reuse the memory on the stack after an object is moved?
• How does C++20's memory model differ from that of C++11?
• Why does the Rust compiler not optimize code assuming that two mutable references cannot alias?

Zhiyao answers