Skip to content

Fix pruning when adding a constraint#6204

Merged
milessabin merged 1 commit intoscala:masterfrom
dotty-staging:fix-constraint-prune
Apr 2, 2019

Commits

Commits on Apr 1, 2019