Fix #7477: Use correct owner in eta expansion#7564

Merged

nicolasstucki merged 1 commit intoscala:masterfrom

dotty-staging:fix-#7477

Nov 18, 2019

Commits on Nov 17, 2019

Fix #7477: Use correct owner in eta expansion
odersky
committed