Fix TermRef prefixes not having their type healed#20102

nicolasstucki merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-i19767dotty-staging/dotty:fix-i19767Copy head branch name to clipboard