Skip to content

Allow refinements that refine already refined types.#244

Merged
odersky merged 1 commit intoscala:masterfrom
dotty-staging:fix/refinementTypes-v2
Nov 26, 2014

Commits

Commits on Nov 26, 2014