Add assert that refine infos are legal wrt refined names#2039
Merged
nicolasstucki merged 2 commits intoscala:masterfrom Mar 3, 2017
Merged
Add assert that refine infos are legal wrt refined names#2039nicolasstucki merged 2 commits intoscala:masterfrom
nicolasstucki merged 2 commits intoscala:masterfrom
Commits
Commits on Feb 27, 2017
Commits on Mar 3, 2017
- committed