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