Skip to content

Improve GADT usage tracing for MatchType reduction#15872

Merged
dwijnand merged 1 commit intoscala:mainfrom
Linyxus:matchtype-gadtusage-back
Aug 17, 2022

Commits

Commits on Aug 17, 2022