`skipLibCheck` not being respected leading to different type inference behavior throwing `TS7022`

[a11delavar]

I've found a type inference issue where tsgo fails to infer a type throwing TS7022 that tsc handles correctly. I have not been able to isolate this behavior in a smaller test case yet, therefore I am providing a link to the repository for now.

Steps to reproduce

1. Clone https://github.com/3mo-esolutions/web-components
2. Install dependencies npm i.
3. Run tsgo --build --noEmit.

Behavior with typescript@5.9

The command tsc --build --noEmit completes without errors.

Behavior with tsgo@7.0.0-dev.20251001.1

The command tsgo --build --noEmit fails with the following type inference error:

[a11delavar]

The issue seems to have to do with skipLibCheck option not being respected in tsgo. I've put together a minimal repository reproducing the issue here: https://github.com/a11delavar/tsgo-bug-1778

[ahejlsberg]

In the case where skipLibCheck is false, it appears that the error results from a difference in type ordering between tsgo and tsc. We can't change that. However, the repro reveals a pattern where we could defer type checking to resolve the circularity. Specifically, when a variable or property is initialized with a new C(...) expression, and C is a class with a single non-generic constructor, we can simply obtain the return type of that constructor without resolving argument types (which might trigger circularities, as is the case in the repro). We already have a similar optimization for single non-generic call signatures. I will put up a PR to this effect.