Fix #9518: Instantiate HKTypeLambda in AppliedTypes#9699

Merged

nicolasstucki merged 1 commit intoscala:masterfrom

dotty-staging:fix-#9518

Sep 3, 2020

Commits on Sep 2, 2020

Fix #9518: Instantiate HKTypeLambda and replace AppliedType with appliedTo
nicolasstucki
committed