Fix #7878: Make sure implicit match case bindings are properly substi…#7902

Merged

abgruszecki merged 1 commit intoscala:masterfrom

dotty-staging:fix-#7878

Jan 7, 2020

Commits on Jan 6, 2020

Fix #7878: Make sure implicit match case bindings are properly substituted
odersky
committed