fix: revert d53c237aafe098d2bed56fd522c7271410ff9dfd#18001

nicolasstucki merged 1 commit intoscala:mainscala/scala3:mainfrom

ckipp01:concurrentBuildRevertckipp01/dotty:concurrentBuildRevertCopy head branch name to clipboard