Give more meaningful names to GADT type symbols#4083

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:better-gadt-namesdotty-staging/dotty:better-gadt-namesCopy head branch name to clipboard