Allow refinements that refine already refined types.#244
Merged
odersky merged 1 commit intoscala:masterfrom Nov 26, 2014
Merged
Allow refinements that refine already refined types.#244odersky merged 1 commit intoscala:masterfrom
odersky merged 1 commit intoscala:masterfrom
