refactor: get rid of any cast

solution provided by @relu91 Co-authored-by: Cristiano Aguzzi <relu91@users.noreply.github.com>
eclipse-thingweb · May 16, 2022 · 8ff9223 · 8ff9223
1 parent f19aa65
commit 8ff9223
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/packages/core/src/exposed-thing.ts b/packages/core/src/exposed-thing.ts
@@ -134,8 +134,9 @@ export default class ExposedThing extends TD.Thing implements WoT.ExposedThing {
                 }
             }
             if (!languageSet) {
-                // eslint-disable-next-line @typescript-eslint/no-explicit-any
-                (arrayContext as any).push({
+(arrayContext as Exclude<typeof arrayContext, []>).push({
+                    "@language": TD.DEFAULT_CONTEXT_LANGUAGE,
+                });
                     "@language": TD.DEFAULT_CONTEXT_LANGUAGE,
                 });
             }