From c89bf6cfdb33355e56442df268c9358e06b00e74 Mon Sep 17 00:00:00 2001
From: undefined <i@undefined.moe>
Date: Sat, 5 Nov 2022 18:12:05 +0800
Subject: [PATCH] core: fix type annotations

---
 packages/hydrooj/src/interface.ts | 2 +-
 packages/hydrooj/src/lib/i18n.ts  | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/packages/hydrooj/src/interface.ts b/packages/hydrooj/src/interface.ts
index a5c2ce210..577b976da 100644
--- a/packages/hydrooj/src/interface.ts
+++ b/packages/hydrooj/src/interface.ts
@@ -736,7 +736,7 @@ export interface HydroGlobal {
     error: typeof import('./error');
     Logger: typeof import('./logger').Logger;
     logger: typeof import('./logger').logger;
-    locales: Record<string, Record<string, string> | Record<symbol, Record<string, string>>>;
+    locales: Record<string, Record<string, string> & Record<symbol, Record<string, string>>>;
 }
 
 declare global {
diff --git a/packages/hydrooj/src/lib/i18n.ts b/packages/hydrooj/src/lib/i18n.ts
index 6cbab2161..bbf26464c 100644
--- a/packages/hydrooj/src/lib/i18n.ts
+++ b/packages/hydrooj/src/lib/i18n.ts
@@ -68,6 +68,9 @@ global.Hydro.locales = new Proxy(translations, {
                 for (let i = s.length - 1; i; i--) Object.assign(result, s[i]);
                 return result;
             },
+            has(s, key: string) {
+                return !!s.find((i) => !!i[key]);
+            },
         });
     },
 }) as any;