Fix #2971: Soudness issue with variance and higher kinded types#2975

smarter merged 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-hk-isRefdotty-staging/dotty:fix-hk-isRefCopy head branch name to clipboard