Fix regression in exhaustivity of HK types#18303

dwijnand merged 3 commits intoscala:mainscala/scala3:mainfrom

dwijnand:space-engine-aux-hkdwijnand/scala3:space-engine-aux-hkCopy head branch name to clipboard