Fix #4185: Do not check names for modules that will not be emitted#4187

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#4185dotty-staging/dotty:fix-#4185Copy head branch name to clipboard