retype Position.isPosition

eclipse-theia · Mar 6, 2023 · b680ea8 · b680ea8
1 parent 2ae3688
commit b680ea8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/plugin-ext/src/plugin/types-impl.ts b/packages/plugin-ext/src/plugin/types-impl.ts
@@ -404,7 +404,7 @@ export class Position {
         return result!;
     }
 
-    static isPosition(other: {}): other is Position {
+    static isPosition(other: unknown): other is Position {
         if (!other) {
             return false;
         }