More principled filtering of abstract values in initialization check#20548

liufengyun merged 3 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:fengyun/init-check-type-filterdotty-staging/dotty:fengyun/init-check-type-filterCopy head branch name to clipboard