Fix match type instantiation when not approximating#17173

dwijnand wants to merge 3 commits intoscala:mainscala/scala3:mainfrom

dwijnand:match-types-completenessdwijnand/scala3:match-types-completenessCopy head branch name to clipboard