Skip to content

Add gadtAddBound to ExplainingTypeComparer tracing#15819

Merged
odersky merged 1 commit intoscala:mainfrom
dwijnand:trace-gadtAddBounds
Aug 18, 2022
Merged

Add gadtAddBound to ExplainingTypeComparer tracing#15819
odersky merged 1 commit intoscala:mainfrom
dwijnand:trace-gadtAddBounds

Commits

Commits on Aug 4, 2022