Fix 2403: Tweak places where we look for new definition#2414

felixmulder merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#2403bdotty-staging/dotty:fix-#2403bCopy head branch name to clipboard