Add missing case for finding default getters#13018

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

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