src/vs/workbench/api/common/extHostTypes.ts/Diagnostic/toJSON
class Diagnostic:	toJSON(): any {
		return {
			severity: DiagnosticSeverity[this.severity],
			message: this.message,
			range: this.range,
			source: this.source,
			code: this.code,
		};
	}