Fix #3721: Roll back SubstMap functionality into general TreeTypeMap#3868

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

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