Restrict Eta-reduction to Java-defined classes#8469

Merged

odersky merged 7 commits intoscala:masterfrom

dotty-staging:fix-#4908

Mar 9, 2020

Commits on Mar 9, 2020

Document why we test for Java eta expansions in TypeComparer
odersky
committed