andykaylor wrote: The `CIR/Lowering/func-simple.cpp` test is failing after this merge because of my change to introduce the canonicalize pass. I'll update the test as part of my type alias patch. https://github.com/llvm/llvm-project/pull/131945