{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreif2nilr4y272mcm3e24ig5g73rhi2dujl74un4cqdt7jcfgwekkbe",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mpkext6poui2"
  },
  "path": "/t/language-vision-regarding-safety-guarantees/24418?page=2#post_27",
  "publishedAt": "2026-07-01T00:00:30.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "ais523:\n\n> The safety comments in `BTreeMap`'s source code for the calls to `insert_before_unchecked` assume that `Ord` is non-broken, which is not a sound assumption given that `Ord` is not a safe trait.\n\nSafety requirements are for external callers from outside of the abstraction boundary. When calling functions in your own module / crate you can ignore documented safety requirements.",
  "title": "Language vision regarding safety guarantees"
}