github.com
Document current justification for not requiring recursive reference validity (in particular, `&mut uninit` not being immediate UB) · Issue #346 · rust-lang/unsafe-code-guidelines
This post is a draft of my understanding of the problem space, and justification for &mut uninit not being UB to hold or pass around between functions. What is UB? This is a very brief summary; see...