noclowns wrote: This could use a good review for part 3 (the functional fix) to make sure the original intent is correctly inferred and implemented. Thanks. https://github.com/llvm/llvm-project/pull/164763