NirPositions

class NirPositions(positionRelativizationPaths: Seq[Path])(using x$2: Context)
class Object
trait Matchable
class Any

Givens

Givens

given fromSourcePosition: Conversion[SourcePosition, SourcePosition]
given fromSpan: Conversion[Span, SourcePosition]