Fix #3083: Check that all named parts of locally inferred types are d…#3749

odersky merged 5 commits intoscala:masterscala/scala3:masterfrom

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