Better expected type for arguments of overloaded methods#10327

Merged

smarter merged 2 commits intoscala:masterfrom

dotty-staging:more-pretyping

Nov 17, 2020

Commits on Nov 15, 2020

Better expected type for arguments of overloaded methods
smarter
committed

Commits on Nov 17, 2020

Polish pattern match
odersky
committed