Skip to content

Insert GADT casts for needy match types#15851

Merged
dwijnand merged 1 commit intoscala:mainfrom
dwijnand:match-types-need-gadt-info
Aug 15, 2022

Commits

Commits on Aug 12, 2022