Skip to content

Fix #6503: Handle dependent refinements#7943

Merged
nicolasstucki merged 1 commit intoscala:masterfrom
dotty-staging:fix-#6503
Jan 9, 2020

Commits

Commits on Jan 9, 2020