[BUG]: drizzle-valibot throws Type instantiation is excessively deep and possibly infinite. for refinements

[MickL]

Report hasn't been filed before.

• I have verified that the bug I'm about to report hasn't been filed before.

What version of drizzle-orm are you using?

0.38.0

What version of drizzle-kit are you using?

0.30.0

Other packages

valibot@1.0.0-beta.9, drizzle-valibot@0.3.0

Describe the Bug

When creating a drizzle-valibot refinement, with either createSelectSchema, createInsertSchema or createUpdateSchema it throws a TypeScript error:

TS2589: Type instantiation is excessively deep and possibly infinite.

I made a reproduction repo that uses the examples from the docs for Valibot, Zod and Typebox, but the error occurs only for Valibot:

https://github.com/MickL/drizzle-valibot-type-error

@L-Mario564

[MickL]

This can be resolved by adding strict: true for the moment. But @L-Mario564 told me "I'll try to make it work without strict, but will require some effort to do so" so I leave this open hoping it will work one day without strict :)

[camflan]

@MickL fwiw, I'm seeing a similar error (#3738) and we have strict: true set in our project

[juan-calle]

I'm also getting this error when using createSelectSchema with pgEnum

[trevorpfiz]

@MickL fwiw, I'm seeing a similar error (#3738) and we have strict: true set in our project

I am seeing this with drizzle-zod, even with strict: true. I am thinking from this:

content: t
      .jsonb()
      .$type<CoreMessage>()
      .notNull()
      .default(sql`'{}'::jsonb`),

[kevinlaw91]

Also happened in drizzle-orm@0.38.2 with drizzle-zod@0.6.0

createInsertSchema(account, {
  // Typescript enum
  statusId: z.nativeEnum(AccountStatus)
    .default(AccountStatus.VERIFY),
})