banach-space wrote: @zhaoshiz Apologies for the delay with this - I was travelling last week and still catching up with PRs. If not today, I promise to go over this tomorrow. In the meantime, would you mind fixing the conflict? https://github.com/llvm/llvm-project/pull/97788