minor refactor to avoid unsoundness caused by flexible types#23368

olhotak merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:tweak-flexible-types-in-propertiesdotty-staging/dotty:tweak-flexible-types-in-propertiesCopy head branch name to clipboard