{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreif6yi5qmydrzxcwu75plkhvgzv2v4mg4a7nxb2votxyjljiyagtey",
    "uri": "at://did:plc:ivbknywyskln22er3nkssdhl/app.bsky.feed.post/3mo5tdmwgpvd2"
  },
  "path": "/t/the-hashtable-problem-a-litmus-test-for-external-impl-proposals/24396#post_2",
  "publishedAt": "2026-06-13T06:30:57.000Z",
  "site": "https://internals.rust-lang.org",
  "textContent": "Because it was not obvious to me the first time I encountered this problem, the requirement of `K: Hash` is _not_ on the HashMap type in Rust; it's on the impl block containing operations that hash. Therefore \"the Hash implementation is part of the type that depends on Hash\" is _not_ a solution for the HashMap in std.",
  "title": "The Hashtable Problem: A Litmus Test for External Impl Proposals"
}