dotty.tools.dotc.util
A source position is comprised of a position in a source file
The column of the position, starting at 0
The line of the position, starting at 0
The lines of the position
A source position is comprised of a position in a source file