https://github.com/feg208 commented: seems like some good additional test cases. I had a question about casting but otherwise lgtm. A domain expert is probably required here though https://github.com/llvm/llvm-project/pull/95425