src/vs/platform/contextkey/browser/contextKeyService.ts/ContextKeyService/disposeContext
class ContextKeyService:	public disposeContext(contextId: number): void {
		if (!this._isDisposed) {
			this._contexts.delete(contextId);
		}
	}