https://github.com/krzysz00 commented: I think the overall setup here makes sense! I know we were having some semantics questions offline so I'll wait to approve it, but I don't see much review-wise https://github.com/llvm/llvm-project/pull/172083