joker-eph wrote: Having a single map instead of the map+set? What's the pros/cons? I'm just concerned about the invariants surrounding this map (having a fake TypeID and no dialect ctor would need to be checked / asserted in quite a few places) https://github.com/llvm/llvm-project/pull/193041