{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreibedfirevm7wcylz2og325rsqfeprgu2ovfynnkzsvhswdhvujc3m",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mpruuupzcge2"
  },
  "path": "/t/language-vision-regarding-safety-guarantees/24418?page=3#post_50",
  "publishedAt": "2026-07-03T23:12:37.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "ia0:\n\n> Then what are safety requirements if not (a part of) a safety contract?\n\nSafety requirements are simply the part of the (single) contract that says: \"if you, the caller, don't satisfy XYZ, the behavior of this function is undefined and all promises are void\". My `sort([i32])` example has no safety requirements.",
  "title": "Language vision regarding safety guarantees"
}