Fix overriding in explicit nulls#13647

smarter merged 6 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:explicit-nulls-overridedotty-staging/dotty:explicit-nulls-overrideCopy head branch name to clipboard