Add comment to @ts-ignore

2023-04-11 10:31:37 +02:00
parent 41e0dc2961
commit 24c40af78f
1 changed files with 1 additions and 1 deletions
--- a/extensions/ql-vscode/src/view/results/result-tables.tsx
+++ b/extensions/ql-vscode/src/view/results/result-tables.tsx
@@ -101,7 +101,7 @@ function getResultSets(
 ): ResultSet[] {
  const resultSets: ResultSet[] =
    // eslint-disable-next-line @typescript-eslint/ban-ts-comment
-    // @ts-ignore 2783
+    // @ts-ignore 2783 Avoid compilation error for overwriting the t property
    rawResultSets.map((rs) => ({ t: "RawResultSet", ...rs }));

  if (interpretation !== undefined) {