extensions/markdown-language-features/src/languageFeatures/diagnostics.ts/DiagnosticReporter/addWorkItem
class DiagnosticReporter:	public addWorkItem(promise: Promise<any>): Promise<any> {
		this.pending.add(promise);
		promise.finally(() => this.pending.delete(promise));
		return promise;
	}