Fix #9518: Instantiate HKTypeLambda in AppliedTypes#9699
Merged
nicolasstucki merged 1 commit intoscala:masterfrom Sep 3, 2020
Merged
Fix #9518: Instantiate HKTypeLambda in AppliedTypes#9699nicolasstucki merged 1 commit intoscala:masterfrom
nicolasstucki merged 1 commit intoscala:masterfrom