Seems like passes like this one stay in the existing dialect?
Looking at these, isn't it hinting at a missing opinterface to hook these into a unique bufferization pass living in the bufferization dialect?
It is a part of gradual bufferization. And the passes for gradual bufferization live in their corresponding dialects. You mentioned that it indicates that there might be an interface missing to just have a single bufferization pass. I agree and I think this interface already exists and it is used in comprehensive bufferization. We might want to reuse it.