{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreidddtmqmag44gs5ehy4iwzvguywh4cz3ffaad6xoz7fiiozfmpyjm",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mpk6aqic46e2"
  },
  "path": "/t/language-vision-regarding-safety-guarantees/24418?page=2#post_26",
  "publishedAt": "2026-06-30T23:36:26.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "But the caller (`BTreeMap`) _does_ call it with invalid type/input combinations today, according to its stated safety requirement, if the key type has a broken `Ord` implementation.\n\nThe 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.",
  "title": "Language vision regarding safety guarantees"
}