Fix #3450: Partial revert of 7ff1cb6fbc6261a364481be597b20a17423f4d72#3458

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

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