{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreih63jn33akxy3ac4xdnyv4gb33u5pq6osbldqyfoewantjsuf65ge",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mmofyt5nwld2"
  },
  "path": "/t/include-racy-reads-in-rust-memory-model-with-maybeinvalid-t/24289?page=2#post_25",
  "publishedAt": "2026-05-25T10:57:51.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "Reading _arbitrary_ values can be UB if the values have validity invariants, such as `bool`. The model would have to promise only ever reading a value that has ever been written. Or seqlocks would have to be limited to `MaybeUninit` or perhaps `zerocopy::FromBytes` types.",
  "title": "Include racy reads in Rust memory model with `MaybeInvalid<T>`"
}