jayfoad wrote: > Merge logic for implicit and explicit definitions. That makes it sound a bit like an NFC refactoring, but I see some tests changed. Can you add a description that describes the behavioural change? https://github.com/llvm/llvm-project/pull/147624