Insert GADT casts for needy match types#15851

dwijnand merged 1 commit intoscala:mainscala/scala3:mainfrom

dwijnand:match-types-need-gadt-infodwijnand/scala3:match-types-need-gadt-infoCopy head branch name to clipboard