Record ordering constraint between HK type variables#9733

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:hk-orderingdotty-staging/dotty:hk-orderingCopy head branch name to clipboard