Skip to content

Record ordering constraint between HK type variables#9733

Merged
smarter merged 1 commit intoscala:masterfrom
dotty-staging:hk-ordering
Sep 18, 2020

Commits

Commits on Sep 18, 2020