TS 4.5: Type instantiation is excessively deep and possibly infinite.

[gmaclennan]

I know this has already had a quick fix via #119 but with @sinclair/typebox@0.20.6 I still get this error for this very basic code:

import { Static, Type as T } from "@sinclair/typebox";
import got from "got";

const MySchema = T.Object({
  name: T.String(),
});

type MyType = Static<typeof MySchema>;

async function getThing(id: string): Promise<MyType> {
  const url = `https://example.com/myThing.json`;
  return await got(url).json();
}

async function getAllThings(ids: string[]): Promise<MyType[]> {
  return await Promise.all(ids.map((id) => getThing(id)));
}

Error returned:

> tsc --noEmit

index.ts:16:16 - error TS2589: Type instantiation is excessively deep and possibly infinite.

16   return await Promise.all(ids.map((id) => getThing(id)));
                  ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Minimal repro here: https://github.com/gmaclennan/typebox-error-repro

Error running on CI: https://github.com/gmaclennan/typebox-error-repro/runs/4251888078?check_suite_focus=true

For what it's worth, I checked with other version of Typebox, and this code compiles with v0.11.0 but fails on any later version including v0.20.6

[stevejhiggs]

I also have issues with this even in 0.20.6. My repro is at https://replit.com/@SteveHiggs/GrumpyQuizzicalFields

[sinclairzx81]

@gmaclennan @stevejhiggs Thanks for reporting. Just taking a deeper look into this now. It looks like there's been fairly significant changes in 4.5. I'm guessing this is probably related to the following microsoft/TypeScript#46429.

I'll start looking at a patch within the next few days.
Cheers
S

[gmaclennan]

Thanks @sinclairzx81. Sticking to Typescript 4.4 keeps everything working for now :)

[StCatfish]

The simplest build I came up with:
Versions:

{
    "@sinclair/typebox": "0.20.6",
    "typescript": "4.5.2"
 }

import {
  Static,
  TSchema,
} from '@sinclair/typebox';

export function validate<ResponseSchema extends TSchema>(
  data: Static<ResponseSchema>
): Static<ResponseSchema> {
  return data;
}

tsc yields an error:

index.ts:9:10 - error TS2589: Type instantiation is excessively deep and possibly infinite.

9   return data;
           ~~~~


Found 1 error.

[sinclairzx81]

@gmaclennan Have published an update on @sinclair/typebox@0.21.0 which should resolve these issues. The update reinstates the constructor and function arguments, as well as applies a few upstream updates I had been meaning to look at. I have dropped a few notes on the changelog which you can read about here.

These updates are fairly sweeping type inference changes to accommodate these new 4.5 constraints, but these updates should also work in previous revisions of the compiler, have tested back to the minimum version of TS 4.3.5 and things should be ok.

Let me know if you run into any problems
Cheers

[stevejhiggs]

Can confirm that 0.21.0 fixes all the issues I was having. Amazing work, thanks!

[leoyli-headsup]

Amazing, much appreciated!

[sinclairzx81]

Cheers everyone :) Will close off this issue. Thanks for letting me know!

[ayZagen]

I know this issue is old and I don't have problems using with typescript 5 but this error happens when I try to rollup types with api-extractor which is using bundled ts with version 4.8.4.

@sinclairzx81 Do you have any tips or solution regarding this?

Warning: node_modules/.pnpm/@sinclair+typebox@0.28.4/node_modules/@sinclair/typebox/typebox.d.ts:110:47 - (TS2589) Type instantiation is excessively deep and possibly infinite.

[sinclairzx81]

@ayZagen Hi,

Looking at the line number, it appears to be related to TComposite which is an extremely complicated type. I'm actually trying to get rid of this type (as it's provided for backwards compatibility) but to implement the type correctly, TypeScript needs to perform backflips to infer it. It should be supported in TS 4.2.3 and above, but depending on how complicated your type is, mileage may vary.

If possible, you can use Type.Intersect() over Type.Composite(). The difference between these types is that Type.Intersect() doesn't try to combine the composed types into a singular object (which is a lot more TS friendly). Alternatively you can upgrade to TS 5.0.

Repro

Would it be possible to share a repro of the Type you're having problems with? You should be able post it up on the TypeScript Playground and repro by setting the compiler version to 4.8.4. I'm interested in taking a look.

Hope this helps
S