yangtetris wrote: > LGTM. FYI we've been discussing converting these patterns to greedy patterns #146030 Thanks. Actually, I was confused when I first saw that a type converter was used there. https://github.com/llvm/llvm-project/pull/154664