Cubevoid wrote: I found that python `dict`s using operations as keys are now broken because even though the operations are equal, they do not have the same hash. Should we override the `__hash__` method to make sure this still works? https://github.com/llvm/llvm-project/pull/155114