From 9fa6984c102943d45c3c2c849d3734f588d7512b Mon Sep 17 00:00:00 2001
From: l3ops <leo@rome.tools>
Date: Wed, 23 Nov 2022 14:07:46 +0100
Subject: [PATCH] run codegen

---
 npm/backend-jsonrpc/src/workspace.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/npm/backend-jsonrpc/src/workspace.ts b/npm/backend-jsonrpc/src/workspace.ts
index fc9084fd298..c8349283ad2 100644
--- a/npm/backend-jsonrpc/src/workspace.ts
+++ b/npm/backend-jsonrpc/src/workspace.ts
@@ -574,7 +574,7 @@ export interface Diagnostic {
 	advices: Advices;
 	category?: Category;
 	description: string;
-	location?: Location;
+	location: Location;
 	message: MarkupBuf;
 	severity: Severity;
 	source?: Diagnostic;
@@ -687,7 +687,7 @@ export type Category =
 	| "flags/invalid"
 	| "semanticTests";
 export interface Location {
-	path: Resource_for_String;
+	path?: Resource_for_String;
 	source_code?: string;
 	span?: TextRange;
 }