Skip to content

Fix #5794: eta-expansion triggered properly#5795

Merged
smarter merged 1 commit intoscala:masterfrom
dotty-staging:fix-#5794
Jan 26, 2019
Merged

Fix #5794: eta-expansion triggered properly#5795
smarter merged 1 commit intoscala:masterfrom
dotty-staging:fix-#5794

Commits

Commits on Jan 25, 2019