banach-space wrote: > I just realized that those tests are added in a separate file from the rest. Apologies. > And I pointed you at the wrong file in my initial comment 🤦🏻 . Also apologies :) https://github.com/llvm/llvm-project/pull/76298