Fix #7743: Widen by-name parameter termrefs in pattern matching trans…#7776

Merged

odersky merged 1 commit intoscala:masterfrom

dotty-staging:fix-#7743

Dec 16, 2019

Commits on Dec 16, 2019

Fix #7743: Widen by-name parameter termrefs in pattern matching translation
odersky
committed