Type instantiation is excessively deep and possibly infinite .ts(2589) when using Type.Exclude about typebox

[sinclairzx81]

@espenja Heya,

Will close off this issue for now as this should be resolved. But if you run into any issues, please feel free to reply on this thread.

All the best!
S

[sinclairzx81]

@espenja Hi, thanks for reporting.

Yes, definitely a bug. Have pushed a fix for this on 0.32.11. This should resolve instantiation issues for both Exclude and Extract when embedded in outer types.

TypeScript Link Here

import { Type, Static } from '@sinclair/typebox'

export type T = Static<typeof T>
export const T = Type.Union([
  Type.Literal("A"), 
  Type.Literal("B"),
  Type.Literal("C"),
])

// --------------------------------------------------
// Cases
// --------------------------------------------------
export type A = Static<typeof A>
export const A = Type.Object({
  type: Type.Exclude(T, Type.Literal("A"))
})

export type B = Static<typeof B>
export const B = Type.Object({
  type: Type.Exclude(T, Type.TemplateLiteral('${A|C}'))
})

export type C = Static<typeof C>
export const C = Type.Object({
  type: Type.Extract(T, Type.TemplateLiteral('${A|C}'))
})

Cheers
S