Improve whitelist infrastructure.#1880

odersky merged 4 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:improve-whitelist-infrastructuredotty-staging/dotty:improve-whitelist-infrastructureCopy head branch name to clipboard