{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreida62ewx5wqmjyt5yghhphi2se6krs6gu6jf7gdobpkys4negbg2a",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3melh56yjbmy2"
  },
  "path": "/t/conditions-for-unsafe-code-to-rely-on-correctness/23995#post_6",
  "publishedAt": "2026-02-11T10:53:03.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "ia0:\n\n> What matters is not how the verification occurs, but who is responsible for it.\n\nI think the user of `unsafe` code (the sink) is responsible for verification when the satisfaction of the `unsafe` code’s safety requirements depends on an upstream crate.",
  "title": "Conditions for unsafe code to rely on correctness"
}