Hide constructor proxies at PostTyper#23269

noti0na1 merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:change-constructor-proxydotty-staging/dotty:change-constructor-proxyCopy head branch name to clipboard