8000 Typings not compatible with TS 3.8 · Issue #110 · colinhacks/zod · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Typings not compatible with TS 3.8 #110

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
jandolezal71 opened this issue Aug 4, 2020 · 5 comments
Closed

Typings not compatible with TS 3.8 #110

jandolezal71 opened this issue Aug 4, 2020 · 5 comments

Comments

@jandolezal71
Copy link

When using zod, typescript check will throw an error:

/node_modules/zod/lib/src/index.d.ts(42,418): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T>]: NoNever<T>[k]["_type"]; }'.
/node_modules/zod/lib/src/index.d.ts(42,1044): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T>]: NoNever<T>[k]["_type"]; }'.
/node_modules/zod/lib/src/index.d.ts(42,1590): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T>]: NoNever<T>[k]["_type"]; }'.
/node_modules/zod/lib/src/index.d.ts(42,2216): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T>]: NoNever<T>[k]["_type"]; }'.
/node_modules/zod/lib/src/index.d.ts(64,422): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T>]: NoNever<T>[k]["_type"]; }'.
/node_modules/zod/lib/src/index.d.ts(64,1048): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T>]: NoNever<T>[k]["_type"]; }'.
/node_modules/zod/lib/src/index.d.ts(64,1594): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T>]: NoNever<T>[k]["_type"]; }'.
/node_modules/zod/lib/src/index.d.ts(64,2220): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T>]: NoNever<T>[k]["_type"]; }'.
/node_modules/zod/lib/src/types/object.d.ts(49,312): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T_1>]: NoNever<T_1>[k]["_type"]; }'.
/node_modules/zod/lib/src/types/object.d.ts(49,776): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T_1>]: NoNever<T_1>[k]["_type"]; }'.
/node_modules/zod/lib/src/types/object.d.ts(49,1154): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T_1>]: NoNever<T_1>[k]["_type"]; }'.
/node_modules/zod/lib/src/types/object.d.ts(49,1618): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T_1>]: NoNever<T_1>[k]["_type"]; }'.
/node_modules/zod/lib/src/types/object.d.ts(52,312): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T_1>]: NoNever<T_1>[k]["_type"]; }'.
/node_modules/zod/lib/src/types/object.d.ts(52,776): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T_1>]: NoNever<T_1>[k]["_type"]; }'.
/node_modules/zod/lib/src/types/object.d.ts(52,1154): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T_1>]: NoNever<T_1>[k]["_type"]; }'.
/node_modules/zod/lib/src/types/object.d.ts(52,1618): error TS2536: Type 'k' cannot be used to index type '{ [k in keyof NoNever<T_1>]: NoNever<T_1>[k]["_type"]; }'.
  • Typescript: 3.8.3
  • Zod: 1.10.1
@Retsam
Copy link
Retsam commented Aug 4, 2020 •
edited
Loading

"Short term" workaround: you should be able to turn skipLibCheck in tsconfig to avoid these issues.

Not that this isn't something that shouldn't be fixed, but the TS team is actually encouraging the use of this flag as it avoids users getting stuck on errors that they really can't solve: although the flag defaults to false, if you generate a tsconfig.json with tsc --init, the generated file sets this flag to be true.

@colinhacks
Copy link
Owner
colinhacks commented Aug 4, 2020 •
edited
Loading

I've been working on this all morning.

Apparently I'm using a few techniques that TypeScript will happily to compile, but the compiled declaration files fail type checking, even using the same TS version and config that compiled the code originally. I didn't know this was even possible...it shouldn't be.

Anyway I pinpointed the issue and was able to refactor away the offending code. Now that I know this is possible I'll be on the lookout for it. I'll be sure to run test builds of a sample project before publishing new versions.

Upgrade to zod@1.10.2 to solve this. @jandolezal71 please try this and let me know if you're still having issues.

Future people: if you encounter an issue similar, follow @Retsam's advice for an immediate fix but open a separate issue to let me know about the problem.

@jandolezal71
Copy link
Author

@vriad Everything works with 1.10.2 now. Thank you very much guys for the fast response and fix. Great library!

@colinhacks
Copy link
Owner

Great to hear! 👍

@mustafaekim
Copy link

Hi
We transitioned to using zod, however when we use skipLibCheck as false, we are getting some errors like the one shared above.

Are we the only one having these errors?

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:51:54 - error TS2536: Type 'k' cannot be used to index type 'addQuestionMarks<baseObjectOutputType<{ order: ZodNumber; model: ZodType<T, ZodTypeDef, T>; }>, any>'.

51     }>, any> extends infer T_1 ? { [k in keyof T_1]: zod.objectUtil.addQuestionMarks<zod.baseObjectOutputType<{
                                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
52         order: zod.ZodNumber;
   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
53         model: Zodd.Type<T, Zodd.TypeDef, T>;
   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
54     }>, any>[k]; } : never, zod.baseObjectInputType<{
   ~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:57:50 - error TS2536: Type 'k_1' cannot be used to index type 'baseObjectInputType<{ order: ZodNumber; model: ZodType<T, ZodTypeDef, T>; }>'.

57     }> extends infer T_2 ? { [k_1 in keyof T_2]: zod.baseObjectInputType<{
                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~
58         order: zod.ZodNumber;
   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
59         model: Zodd.Type<T, Zodd.TypeDef, T>;
   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
60     }>[k_1]; } : never>;
   ~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:67:54 - error TS2536: Type 'k' cannot be used to index type 'addQuestionMarks<baseObjectOutputType<{ isDefault: ZodBoolean; value: ZodType<T, ZodTypeDef, T>; }>, any>'.

67     }>, any> extends infer T_1 ? { [k in keyof T_1]: zod.objectUtil.addQuestionMarks<zod.baseObjectOutputType<{
                                                        ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
68         isDefault: zod.ZodBoolean;
   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
69         value: Zodd.Type<T, Zodd.TypeDef, T>;
   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
70     }>, any>[k]; } : never, zod.baseObjectInputType<{
   ~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:73:50 - error TS2536: Type 'k_1' cannot be used to index type 'baseObjectInputType<{ isDefault: ZodBoolean; value: ZodType<T, ZodTypeDef, T>; }>'.

73     }> extends infer T_2 ? { [k_1 in keyof T_2]: zod.baseObjectInputType<{
                                                    ~~~~~~~~~~~~~~~~~~~~~~~~~
74         isDefault: zod.ZodBoolean;
   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
75         value: Zodd.Type<T, Zodd.TypeDef, T>;
   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
76     }>[k_1]; } : never>;
   ~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:85:54 - error TS2536: Type 'k' cannot be used to index type 'addQuestionMarks<baseObjectOutputType<{ model: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<{}, ZodTypeAny, "passthrough">, objectInputType<...>>; updated: ZodOptional<...>; }>, any>'.

 85     }>, any> extends infer T_1 ? { [k in keyof T_1]: zod.objectUtil.addQuestionMarks<zod.baseObjectOutputType<{
                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 86         model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
...
 88         updated: zod.ZodOptional<zod.ZodObject<{}, "passthrough", zod.ZodTypeAny, zod.objectOutputType<{}, zod.ZodTypeAny, "passthrough">, zod.objectInputType<{}, zod.ZodTypeAny, "passthrough">>>;    
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~    
 89     }>, any>[k]; } : never, zod.baseObjectInputType<{
    ~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:93:50 - error TS2536: Type 'k_1' cannot be used to index type 'baseObjectInputType<{ model
8000
: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<{}, ZodTypeAny, "passthrough">, objectInputType<...>>; updated: ZodOptional<...>; }>'.

 93     }> extends infer T_2 ? { [k_1 in keyof T_2]: zod.baseObjectInputType<{
                                                     ~~~~~~~~~~~~~~~~~~~~~~~~~
 94         model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
...
 96         updated: zod.ZodOptional<zod.ZodObject<{}, "passthrough", zod.ZodTypeAny, zod.objectOutputType<{}, zod.ZodTypeAny, "passthrough">, zod.objectInputType<{}, zod.ZodTypeAny, "passthrough">>>;    
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~    
 97     }>[k_1]; } : never>;
    ~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:109:58 - error TS2536: Type 'k' cannot be used to index type 'addQuestionMarks<baseObjectOutputType<{ model: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<{}, ZodTypeAny, "passthrough">, objectInputType<...>>; updated: ZodOptional<...>; }>, any>'.

109         }>, any> extends infer T_1 ? { [k in keyof T_1]: zod.objectUtil.addQuestionMarks<zod.baseObjectOutputType<{
                                                             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
110             model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
...
112             updated: zod.ZodOptional<zod.ZodObject<{}, "passthrough", zod.ZodTypeAny, zod.objectOutputType<{}, zod.ZodTypeAny, "passthrough">, zod.objectInputType<{}, zod.ZodTypeAny, "passthrough">>>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
113         }>, any>[k]; } : never, zod.baseObjectInputType<{
    ~~~~~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:117:54 - error TS2536: Type 'k_1' cannot be used to index type 'baseObjectInputType<{ model: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<{}, ZodTypeAny, "passthrough">, objectInputType<...>>; updated: ZodOptional<...>; }>'.

117         }> extends infer T_2 ? { [k_1 in keyof T_2]: zod.baseObjectInputType<{
                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~
118             model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
...
120             updated: zod.ZodOptional<zod.ZodObject<{}, "passthrough", zod.ZodTypeAny, zod.objectOutputType<{}, zod.ZodTypeAny, "passthrough">, zod.objectInputType<{}, zod.ZodTypeAny, "passthrough">>>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
121         }>[k_1]; } : never>;
    ~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:133:58 - error TS2536: Type 'k' cannot be used to index type 'addQuestionMarks<baseObjectOutputType<{ model: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<{}, ZodTypeAny, "passthrough">, objectInputType<...>>; updated: ZodOptional<...>; }>, any>'.

133         }>, any> extends infer T_1 ? { [k in keyof T_1]: zod.objectUtil.addQuestionMarks<zod.baseObjectOutputType<{
                                                             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
134             model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
...
136             updated: zod.ZodOptional<zod.ZodObject<{}, "passthrough", zod.ZodTypeAny, zod.objectOutputType<{}, zod.ZodTypeAny, "passthrough">, zod.objectInputType<{}, zod.ZodTypeAny, "passthrough">>>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
137         }>, any>[k]; } : never, zod.baseObjectInputType<{
    ~~~~~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:141:54 - error TS2536: Type 'k_1' cannot be used to index type 'baseObjectInputType<{ model: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<{}, ZodTypeAny, "passthrough">, objectInputType<...>>; updated: ZodOptional<...>; }>'.

141         }> extends infer T_2 ? { [k_1 in keyof T_2]: zod.baseObjectInputType<{
                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~
142             model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
...
144             updated: zod.ZodOptional<zod.ZodObject<{}, "passthrough", zod.ZodTypeAny, zod.objectOutputType<{}, zod.ZodTypeAny, "passthrough">, zod.objectInputType<{}, zod.ZodTypeAny, "passthrough">>>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
145         }>[k_1]; } : never>;
    ~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:146:56 - error TS2536: Type 'k_2' cannot be used to index type 'addQuestionMarks<baseObjectOutputType<{ id: ZodString; path: ZodString; data: ZodObject<{ model: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<...>, objectInputType<...>>; updated: ZodOptional<...>; }, "strict", ZodTypeAny, addQuestionMarks<...> extends infer T_1 ? { [...'.

146     }>, any> extends infer T_3 ? { [k_2 in keyof T_3]: zod.objectUtil.addQuestionMarks<zod.baseObjectOutputType<{
                                                           ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
147         id: zod.ZodString;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~
...
169         }>[k_1]; } : never>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
170     }>, any>[k_2]; } : never, zod.baseObjectInputType<{
    ~~~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:157:58 - error TS2536: Type 'k' cannot be used to index type 'addQuestionMarks<baseObjectOutputType<{ model: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<{}, ZodTypeAny, "passthrough">, objectInputType<...>>; updated: ZodOptional<...>; }>, any>'.

157         }>, any> extends infer T_1 ? { [k in keyof T_1]: zod.objectUtil.addQuestionMarks<zod.baseObjectOutputType<{
                                                             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
158             model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
...
160             updated: zod.ZodOptional<zod.ZodObject<{}, "passthrough", zod.ZodTypeAny, zod.objectOutputType<{}, zod.ZodTypeAny, "passthrough">, zod.objectInputType<{}, zod.ZodTypeAny, "passthrough">>>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
161         }>, any>[k]; } : never, zod.baseObjectInputType<{
    ~~~~~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:165:54 - error TS2536: Type 'k_1' cannot be used to index type 'baseObjectInputType<{ model: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<{}, ZodTypeAny, "passthrough">, objectInputType<...>>; updated: ZodOptional<...>; }>'.

165         }> extends infer T_2 ? { [k_1 in keyof T_2]: zod.baseObjectInputType<{
                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~
166             model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
...
168             updated: zod.ZodOptional<zod.ZodObject<{}, "passthrough", zod.ZodTypeAny, zod.objectOutputType<{}, zod.ZodTypeAny, "passthrough">, zod.objectInputType<{}, zod.ZodTypeAny, "passthrough">>>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
169         }>[k_1]; } : never>;
    ~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:181:58 - error TS2536: Type 'k' cannot be used to index type 'addQuestionMarks<baseObjectOutputType<{ model: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<{}, ZodTypeAny, "passthrough">, objectInputType<...>>; updated: ZodOptional<...>; }>, any>'.

181         }>, any> extends infer T_1 ? { [k in keyof T_1]: zod.objectUtil.addQuestionMarks<zod.baseObjectOutputType<{
                                                             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
182             model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
...
184             updated: zod.ZodOptional<zod.ZodObject<{}, "passthrough", zod.ZodTypeAny, zod.objectOutputType<{}, zod.ZodTypeAny, "passthrough">, zod.objectInputType<{}, zod.ZodTypeAny, "passthrough">>>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
185         }>, any>[k]; } : never, zod.baseObjectInputType<{
    ~~~~~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:189:54 - error TS2536: Type 'k_1' cannot be used to index type 'baseObjectInputType<{ model: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<{}, ZodTypeAny, "passthrough">, objectInputType<...>>; updated: ZodOptional<...>; }>'.

189         }> extends infer T_2 ? { [k_1 in keyof T_2]: zod.baseObjectInputType<{
                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~
190             model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
...
192             updated: zod.ZodOptional<zod.ZodObject<{}, "passthrough", zod.ZodTypeAny, zod.objectOutputType<{}, zod.ZodTypeAny, "passthrough">, zod.objectInputType<{}, zod.ZodTypeAny, "passthrough">>>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
193         }>[k_1]; } : never>;
    ~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:194:50 - error TS2536: Type 'k_3' cannot be used to index type 'baseObjectInputType<{ id: ZodString; path: ZodString; data: ZodObject<{ model: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<...>, objectInputType<...>>; updated: ZodOptional<...>; }, "strict", ZodTypeAny, addQuestionMarks<...> extends infer T_1 ? { [k in keyof T_1]: a...'.

194     }> extends infer T_4 ? { [k_3 in keyof T_4]: zod.baseObjectInputType<{
                                                     ~~~~~~~~~~~~~~~~~~~~~~~~~
195         id: zod.ZodString;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~
...
217         }>[k_1]; } : never>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
218     }>[k_3]; } : never>;
    ~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:205:58 - error TS2536: Type 'k' cannot be used to index type 'addQuestionMarks<baseObjectOutputType<{ model: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<{}, ZodTypeAny, "passthrough">, objectInputType<...>>; updated: ZodOptional<...>; }>, any>'.

205         }>, any> extends infer T_1 ? { [k in keyof T_1]: zod.objectUtil.addQuestionMarks<zod.baseObjectOutputType<{
                                                             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
206             model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
...
208             updated: zod.ZodOptional<zod.ZodObject<{}, "passthrough", zod.ZodTypeAny, zod.objectOutputType<{}, zod.ZodTypeAny, "passthrough">, zod.objectInputType<{}, zod.ZodTypeAny, "passthrough">>>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
209         }>, any>[k]; } : never, zod.baseObjectInputType<{
    ~~~~~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:213:54 - error TS2536: Type 'k_1' cannot be used to index type 'baseObjectInputType<{ model: ZodType<T, ZodTypeDef, T>; created: ZodObject<{}, "passthrough", ZodTypeAny, objectOutputType<{}, ZodTypeAny, "passthrough">, objectInputType<...>>; updated: ZodOptional<...>; }>'.

213         }> extends infer T_2 ? { [k_1 in keyof T_2]: zod.baseObjectInputType<{
                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~
214             model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
...
216             updated: zod.ZodOptional<zod.ZodObject<{}, "passthrough", zod.ZodTypeAny, zod.objectOutputType<{}, zod.ZodTypeAny, "passthrough">, zod.objectInputType<{}, zod.ZodTypeAny, "passthrough">>>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
217         }>[k_1]; } : never>;
    ~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:225:54 - error TS2536: Type 'k' cannot be used to index type 'addQuestionMarks<baseObjectOutputType<{ id: ZodString; model: ZodType<T, ZodTypeDef, T>; }>, any>'.

225     }>, any> extends infer T_1 ? { [k in keyof T_1]: zod.objectUtil.addQuestionMarks<zod.baseObjectOutputType<{
                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
226         id: zod.ZodString;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~
227         model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
228     }>, any>[k]; } : never, zod.baseObjectInputType<{
    ~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:231:50 - error TS2536: Type 'k_1' cannot be used to index type 'baseObjectInputType<{ id: ZodString; model: ZodType<T, ZodTypeDef, T>; }>'. 

231     }> extends infer T_2 ? { [k_1 in keyof T_2]: zod.baseObjectInputType<{
                                                     ~~~~~~~~~~~~~~~~~~~~~~~~~
232         id: zod.ZodString;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~
233         model: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
234     }>[k_1]; } : never>;
    ~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:243:54 - error TS2536: Type 'k' cannot be used to index type 'addQuestionMarks<baseObjectOutputType<{ id: ZodString; model: ZodType<T, ZodTypeDef, T>; syncedAt: ZodNumber; }>, any>'.

243     }>, any> extends infer T_1 ? { [k in keyof T_1]: zod.objectUtil.addQuestionMarks<zod.baseObjectOutputType<{
                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
244         id: zod.ZodString;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~
...
246         syncedAt: zod.ZodNumber;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
247     }>, any>[k]; } : never, zod.baseObjectInputType<{
    ~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:251:50 - error TS2536: Type 'k_1' cannot be used to index type 'baseObjectInputType<{ id: ZodString; model: ZodType<T, ZodTypeDef, T>; syncedAt: ZodNumber; }>'.

251     }> extends infer T_2 ? { [k_1 in keyof T_2]: zod.baseObjectInputType<{
                                                     ~~~~~~~~~~~~~~~~~~~~~~~~~
252         id: zod.ZodString;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~
...
254         syncedAt: zod.ZodNumber;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
255     }>[k_1]; } : never>;
    ~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:260:54 - error TS2536: Type 'k' cannot be used to index type 'addQuestionMarks<baseObjectOutputType<{ state: ZodType<T, ZodTypeDef, T>; }>, any>'.

260     }>, any> extends infer T_1 ? { [k in keyof T_1]: zod.objectUtil.addQuestionMarks<zod.baseObjectOutputType<{
                                                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
261         state: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
262     }>, any>[k]; } : never, zod.baseObjectInputType<{
    ~~~~~~~~~~~~~~~

../ticore/dist/src/common/module/zod/schema/cx/__cx.schema.d.ts:264:50 - error TS2536: Type 'k_1' cannot be used to index type 'baseObjectInputType<{ state: ZodType<T, ZodTypeDef, T>; }>'.

264     }> extends infer T_2 ? { [k_1 in keyof T_2]: zod.baseObjectInputType<{
                                                     ~~~~~~~~~~~~~~~~~~~~~~~~~
265         state: Zodd.Type<T, Zodd.TypeDef, T>;
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
266     }>[k_1]; } : never>;

@brandongit2 brandongit2 mentioned this issue Feb 20, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@mustafaekim @Retsam @colinhacks @jandolezal71
0