The Hashtable Problem: A Litmus Test for External Impl Proposals

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.