Let the info of opaque types always depend on the prefix#11300

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

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