src/vs/workbench/api/common/extHostDiagnostics.ts/DiagnosticCollection/dispose
class DiagnosticCollection:	dispose(): void {
		if (!this._isDisposed) {
			this.#onDidChangeDiagnostics.fire([...this.#data.keys()]);
			if (this.#proxy) {
				this.#proxy.$clear(this._owner);
			}
			this.#data.clear();
			this._isDisposed = true;
		}
	}