Fix upper bound constraints, that are higher-kinded#16744

odersky merged 1 commit intoscala:mainscala/scala3:mainfrom

dwijnand:gadt-betterdwijnand/scala3:gadt-betterCopy head branch name to clipboard