ResolveSuper: add missing methods overrides for disambiguation#5662

odersky merged 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-mixinsdotty-staging/dotty:fix-mixinsCopy head branch name to clipboard