https://github.com/Dinistro commented: Thanks for pushing on this. I dropped a bunch of nit comments and questions. I think the design is reasonable, but I'm not yet sure if your code is fully correct. https://github.com/llvm/llvm-project/pull/67274