function positionRangeDeltaTranslateEnd(pos: vscode.Position, delta: RangeDelta): vscode.Position {
  if (pos.isBeforeOrEqual(delta.end)) {
    return pos;
  }