{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiastnwo3lfja6yh3f3v5y4ebaw5j7crxm2osws3ffjgjo3v2go7vy",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mpjdg5fwjrg2"
  },
  "path": "/t/language-vision-regarding-safety-guarantees/24418#post_19",
  "publishedAt": "2026-06-30T14:17:16.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "ia0:\n\n> 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.\n\nI don't understand what your proposal changes in this respect. I'd still do the same thing if every function had to have a `Robustness` section in its documentation. I'd write: `Robustness: yes, 100%` for all my functions.\n\nI wouldn't trust a library that says `Robustness: no, this code may contain bugs`. It doesn't seem like a good advertisement.",
  "title": "Language vision regarding safety guarantees"
}