Fix #1820: make sure outer of traits implemented#1821

odersky merged 4 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-i1820dotty-staging/dotty:fix-i1820Copy head branch name to clipboard