Four levels of in-place initialization in Rust

Four Levels of In-Place Initialization (Rust)

Rust needs a 4-level feature hierarchy for in-place initialization, from raw pointers to MIR move elimination. The post argues that a single feature can't cover all cases, so a tiered approach balances safety, ergonomics, and performance. It details each level, from unsafe pointers to safe references, placing functions, and compiler optimizations, and explains why the latter can't be relied upon for correctness.

If some novel behavior is important for the correctness of the language, it should be surfaced in the notation.