More fixes to contextual-implicit#6378

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:contextual-implicitdotty-staging/dotty:contextual-implicitCopy head branch name to clipboard