Skip to content

Allow refinements that refine already refined types.#243

Closed
odersky wants to merge 2 commits intoscala:masterfrom
dotty-staging:fix/refinementTypes
Closed

Allow refinements that refine already refined types.#243
odersky wants to merge 2 commits intoscala:masterfrom
dotty-staging:fix/refinementTypes

Commits

Commits on Nov 26, 2014