From 11d8fa3b4ad8a9b9a6bf955bc5f84a2a1c1e98fa Mon Sep 17 00:00:00 2001
From: Takashi Tamura <tamuratak@users.noreply.github.com>
Date: Sat, 18 Jan 2025 11:19:35 +0900
Subject: [PATCH] fix: add type safety checks using 'data satisfies never' in
 various components

---
 src/components/viewer.ts                    | 1 +
 src/providers/completion.ts                 | 2 +-
 viewer/components/extensionconnection.ts    | 1 +
 viewer/components/panelmanagerconnection.ts | 1 +
 4 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/components/viewer.ts b/src/components/viewer.ts
index e31f4e7c..0084133b 100644
--- a/src/components/viewer.ts
+++ b/src/components/viewer.ts
@@ -309,6 +309,7 @@ export class Viewer {
                 break
             }
             default: {
+                data satisfies never
                 this.extension.logger.error(`Unknown websocket message: ${msg}`)
                 break
             }
diff --git a/src/providers/completion.ts b/src/providers/completion.ts
index 37882302..c7c8af16 100644
--- a/src/providers/completion.ts
+++ b/src/providers/completion.ts
@@ -268,7 +268,7 @@ export class Completer implements vscode.CompletionItemProvider {
                 break
             default:
                 // This shouldn't be possible, so mark as error case in log.
-                this.extension.logger.error(`Error - trying to complete unknown type: ${inspectCompact(type)}`)
+                this.extension.logger.error(`Error - trying to complete unknown type: ${inspectCompact(type satisfies never)}`)
                 return []
         }
         const result = line.match(reg)
diff --git a/viewer/components/extensionconnection.ts b/viewer/components/extensionconnection.ts
index 1d2e1e84..9228743e 100644
--- a/viewer/components/extensionconnection.ts
+++ b/viewer/components/extensionconnection.ts
@@ -61,6 +61,7 @@ export class ExtensionConnection {
                     break
                 }
                 default: {
+                    data satisfies never
                     break
                 }
             }
diff --git a/viewer/components/panelmanagerconnection.ts b/viewer/components/panelmanagerconnection.ts
index cd11027c..64b7d604 100644
--- a/viewer/components/panelmanagerconnection.ts
+++ b/viewer/components/panelmanagerconnection.ts
@@ -68,6 +68,7 @@ export class PanelManagerConnection {
                     break
                 }
                 default: {
+                    data satisfies never
                     break
                 }
             }