Make it possible to always set the prefix of denotations#11330

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:reuseSymDenotationsdotty-staging/dotty:reuseSymDenotationsCopy head branch name to clipboard