Refine isEffectivelyFinal to avoid no-owner crash#23675

noti0na1 merged 1 commit intoscala:mainscala/scala3:mainfrom

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