dotty.tools.dotc.util
A sentinel for a non-existing source position
The column of the position, starting at 0
The line of the position, starting at 0
The lines of the position
A sentinel for a non-existing source position