Fix #1707: Survive non-existing positions in parser#1719
Merged
odersky merged 3 commits intoscala:masterfrom Nov 24, 2016
Merged
Fix #1707: Survive non-existing positions in parser#1719odersky merged 3 commits intoscala:masterfrom
odersky merged 3 commits intoscala:masterfrom