let charChanges: CharChange[] | undefined = undefined;
if (this.shouldComputeCharChanges) {
originalLineNumber, originalStartColumn, originalLineNumber, originalEndColumn,
modifiedLineNumber, modifiedStartColumn, modifiedLineNumber, modifiedEndColumn
)];
}
result.push(new LineChange(
originalLineNumber, originalLineNumber,