Rust中HashMap的特征约束实际源自何处？

• Rust标准库的HashMap底层依赖的哈希表核心实现（比如内部的RawTable结构），会在自身的方法定义里对键类型K施加Hash + Eq的特征约束。当HashMap的对外API调用这些内部方法时，这些约束会自动向上传递，最终成为使用HashMap时必须满足的条件。
• 你看不到结构体或顶层impl上的显式约束，是因为这些约束被封装在了内部实现里。但编译器会在你调用insert、get等HashMap方法时，自动检查键类型是否符合Hash + Eq要求——毕竟内部方法的约束会触发编译检查。
• 至于PartialEq，因为Eq特征本身就继承了PartialEq，所以只要实现了Eq，就自动满足PartialEq的要求。这也是为什么源码里偶尔会出现PartialEq，但核心约束还是围绕Hash + Eq展开的。

内容的提问来源于stack exchange，提问作者bluenote10