{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiciqyknecyy2v3nrshmr5xkpupje57reb2ugj3ynyqaciywwdc4di",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mpjdggtyvau2"
  },
  "path": "/t/language-vision-regarding-safety-guarantees/24418#post_17",
  "publishedAt": "2026-06-30T14:13:57.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "tczajka:\n\n> By that criterion, all the functions that I provide in APIs provided by my crates would have full guarantees because I'm a careful programmer.\n\nExactly. And that's what expected of you today. But Rust is a language supposed to let people write logic bugs without them turning into UB. And it partially fails to do that. It only does at top-level of the dependency tree (e.g. if you write a safe program).",
  "title": "Language vision regarding safety guarantees"
}