Fix #7597: Refine checks whether a deferred term member is implemented#8332

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

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