Skip to content

Fix OrderingConstraint#order forgetting constraints; fix avoidLambdaParams#15077

Merged
odersky merged 1 commit intoscala:mainfrom
dotty-staging:fix-constraint-order
May 2, 2022

Commits

Commits on Apr 29, 2022