================ ---------------- banach-space wrote: This block is a bit confusing, perhaps because I don't fully understand what `candidateInfos` means - I left a separate comment near where it's defined. https://github.com/llvm/llvm-project/pull/199686