Drop requirement that implicit functions must be non-empty#4549

odersky merged 5 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change-inline-untpddotty-staging/dotty:change-inline-untpdCopy head branch name to clipboard