src/vs/editor/browser/widget/workerBasedDocumentDiffProvider.ts/WorkerBasedDocumentDiffProvider/dispose
class WorkerBasedDocumentDiffProvider:	public dispose(): void {
		this.diffAlgorithmOnDidChangeSubscription?.dispose();
	}