dotty.tools.dotc.util.Positions
The coordinate of a symbol. This is either an index or a zero-range position.
The coordinate of a symbol. This is either an index or a zero-range position.