make isPosition more robust

eclipse-theia · Mar 6, 2023 · 62c8992 · 62c8992
1 parent e291789
commit 62c8992
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/packages/plugin-ext/src/plugin/types-impl.ts b/packages/plugin-ext/src/plugin/types-impl.ts
@@ -408,6 +408,9 @@ export class Position {
         if (!other) {
             return false;
         }
+        if (typeof other !== 'object' || Array.isArray(other)) {
+            return false;
+        }
         if (other instanceof Position) {
             return true;
         }