{
"$type": "site.standard.document",
"bskyPostRef": {
"cid": "bafyreicvrx2l4xyg5ethkjjgufxb3wgb7mhbp25wrboeo3qdx74xp3webm",
"uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mn6mat4fsrv2"
},
"path": "/t/include-racy-reads-in-rust-memory-model-with-maybeinvalid-t/24289?page=3#post_43",
"publishedAt": "2026-05-31T21:10:28.000Z",
"site": "https://internals.rust-lang.org",
"textContent": "`black_box` is a NOP opsem-wise, so it doesn't ever make sense in a story. It's either unnecessary in your story or the story doesn't quite work.\n\nAlso what's `try_read`? You can't just access MiniRust here. As mentioned above, the correctness argument for the \"story\" approach relies on the story being expressible _in regular Rust code_.",
"title": "Include racy reads in Rust memory model with `MaybeInvalid<T>`"
}