Fix #208 - O.Invert doesn't work for interfaces (just for types)

millsp · Mar 2, 2021 · c582e7a · c582e7a
1 parent ec4a953
commit c582e7a
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 3 deletions.
diff --git a/sources/Object/Invert.ts b/sources/Object/Invert.ts
@@ -41,7 +41,7 @@ export type _Invert<O extends Record<Key, Key>> =
  * type test1 = O.Invert<O>
  * ```
  */
-export type Invert<O extends Record<Key, Key>> =
+export type Invert<O extends Record<keyof O, Key>> =
     O extends unknown
     ? _Invert<O>
     : never
diff --git a/tests/Object.ts b/tests/Object.ts
@@ -428,8 +428,8 @@ checks([
 const INVERT_SYM = Symbol('')
 
 type O_INVERT = {
-    A: 'Av',
-    B: typeof INVERT_SYM,
+    A: 'Av';
+    B: typeof INVERT_SYM;
     C: 42;
 };
 
@@ -439,8 +439,21 @@ type INVERT_O = {
     42: 'C';
 };
 
+interface O_INVERT1 {
+    A: 'Av';
+    B: typeof INVERT_SYM;
+    C: 42;
+}
+
+interface INVERT1_O {
+    Av: 'A';
+    [INVERT_SYM]: 'B';
+    42: 'C';
+}
+
 checks([
     check<O.Invert<O_INVERT>, INVERT_O, Test.Pass>(),
+    check<O.Invert<O_INVERT1>, INVERT1_O, Test.Pass>(),
 ])
 
 // ---------------------------------------------------------------------------------------