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..6d7805dd 100644 --- a/src/providers/completion.ts +++ b/src/providers/completion.ts @@ -210,7 +210,7 @@ export class Completer implements vscode.CompletionItemProvider { } private async completion( - type: CompletionType, + ctype: CompletionType, line: string, args: { document: vscode.TextDocument, @@ -221,7 +221,7 @@ export class Completer implements vscode.CompletionItemProvider { ) { let reg: RegExp | undefined let provider: IProvider | undefined - switch (type) { + switch (ctype) { case 'citation': reg = /(?:\\[a-zA-Z]*[Cc]ite[a-zA-Z]*\*?(?:\([^[)]*\)){0,2}(?:<[^<>]*>|\[[^[\]]*\]|{[^{}]*})*{([^}]*)$)|(?:\\bibentry{([^}]*)$)/ provider = this.citation @@ -267,8 +267,9 @@ export class Completer implements vscode.CompletionItemProvider { provider = this.glossary break default: + ctype satisfies never // 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(ctype)}`) 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 } }