retype Position.isPosition

eclipse-theia · Mar 6, 2023 · e291789 · e291789
1 parent 2ae3688
commit e291789
Showing 1 changed file with 1 addition and 3 deletions.
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;
         }
@@ -546,8 +546,6 @@ export class Range {
             return true;
         }
         return isObject<theia.Range>(arg)
-            && isObject(arg.start)
-            && isObject(arg.end)
             && Position.isPosition(arg.start)
             && Position.isPosition(arg.end);
     }