{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreigyqevch7lpvo7tdg7qh5wgsftdil4ytd6sx4keqaijd35m54i3hm",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mpkexpbgih42"
  },
  "path": "/t/language-vision-regarding-safety-guarantees/24418?page=2#post_28",
  "publishedAt": "2026-07-01T00:00:55.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "I would say that if the type's `Ord` implementation is incorrect, then `insert_before_unchecked`'s safety requirement should (but is not currently written to) not apply. This resolves the conflict: in the case where nonsensical inserts can happen from safe code, nonsense is sound.",
  "title": "Language vision regarding safety guarantees"
}