Reimplement Index Types

sinclairzx81 · Nov 23, 2023 · b76b135 · b76b135
1 parent da79981
commit b76b135
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/typebox.ts b/src/typebox.ts
@@ -56,6 +56,7 @@ export type Trim<T> = T extends `${' '}${infer U}` ? Trim<U> : T extends `${infe
 export type Assert<T, E> = T extends E ? T : never
 export type Evaluate<T> = T extends infer O ? { [K in keyof O]: O[K] } : never
 export type Ensure<T> = T extends infer U ? U : never
+export type EmptyString = ''
 // --------------------------------------------------------------------------
 // Type Asserts
 // --------------------------------------------------------------------------
@@ -911,13 +912,13 @@ export type TTemplateLiteralConst<T, Acc extends string> =
   T extends TBoolean ? `${boolean}` :
   never
 // prettier-ignore
-export type TTemplateLiteralUnion<T extends TTemplateLiteralKind[], Acc extends string = ''> =
+export type TTemplateLiteralUnion<T extends TTemplateLiteralKind[], Acc extends string> =
   T extends [infer L, ...infer R] ? `${TTemplateLiteralConst<L, Acc>}${TTemplateLiteralUnion<Assert<R, TTemplateLiteralKind[]>, Acc>}` :
   Acc
 export type TTemplateLiteralKeyRest<T extends TTemplateLiteral> = Assert<UnionToTuple<Static<T>>, TPropertyKey[]>
 export interface TTemplateLiteral<T extends TTemplateLiteralKind[] = TTemplateLiteralKind[]> extends TSchema {
   [Kind]: 'TemplateLiteral'
-  static: TTemplateLiteralUnion<T, ''>
+  static: TTemplateLiteralUnion<T, EmptyString>
   type: 'string'
   pattern: string // todo: it may be possible to infer this pattern
 }