Code refactor of initialization check#12055

liufengyun merged 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:improve-init2dotty-staging/dotty:improve-init2Copy head branch name to clipboard