src/vs/platform/markers/common/markerService.ts/MarkerStats/_substract
class MarkerStats:	private _substract(op: MarkerStatistics) {
		this.errors -= op.errors;
		this.warnings -= op.warnings;
		this.infos -= op.infos;
		this.unknowns -= op.unknowns;
	}