Reimplement Indexed Accessors

examples/index.ts

@@ -10,14 +10,16 @@ import { KeyOfStringResolver, IndexedTypeResolver, OmitResolver } from '@sinclai
 //     {} as any,
 //   ]),
 // )
-console.log(
-  TypeGuard.TSchema(
+
+const S = Type.Object({
+  x: Type.ReadonlyOptional(
     Type.Object({
-      y: {} as any,
+      x: Type.Number(),
     }),
   ),
-  '?',
-)
+})
+
+const I = Type.Index(S, ['x'])
 
 // // @ts-ignore
 // Assert.IsEqual(T.properties.x, undefined)

package.json

@@ -15,6 +15,9 @@
   "exports": {
     "./compiler": "./compiler/index.js",
     "./errors": "./errors/index.js",
+    "./type/clone": "./type/clone/index.js",
+    "./type/guard": "./type/guard/index.js",
+    "./type/registry": "./type/registry/index.js",
     "./type/resolve": "./type/resolve/index.js",
     "./type": "./type/index.js",
     "./system": "./system/index.js",
@@ -61,6 +64,6 @@
     "ajv-formats": "^2.1.1",
     "mocha": "^9.2.2",
     "prettier": "^2.7.1",
-    "typescript": "^5.4.0-dev.20231122"
+    "typescript": "^5.3.2"
   }
 }

src/type/resolve/composite/composite.ts

@@ -58,7 +58,7 @@ export namespace CompositeResolver {
 
   export function Resolve<T extends TObject[]>(T: T): Resolve<T> {
     const intersect: any = Type.Intersect(T, {})
-    const keys = KeyOfStringResolver.Resolve(intersect)
+    const keys = KeyOfStringResolver.Resolve(intersect) as string[]
     const properties = keys.reduce((acc, key) => ({ ...acc, [key]: Type.Index(intersect, [key]) }), {} as TProperties)
     return Type.Object(properties) as Resolve<T>
   }

src/type/resolve/modifiers/modifiers.ts

@@ -142,7 +142,7 @@ export namespace Modifiers {
       IsOptionalIntersect(T)
       ? Type.Optional(Type.Intersect(D))
       : Type.Intersect(T)
-    ) as ResolveOptionalIntersect<T>
+    ) as unknown as ResolveOptionalIntersect<T>
   }
   // ----------------------------------------------------------------
   // ResolveOptionalUnion