Improve inference for signatures depending on types inferred from context-sensitive expressions

[Andarist]

⚠️ The current implementation here could use some further work but before putting more work into it, I'd like to get some results from the extended tests and some initial feedback about the idea

The idea behind this PR is rather simple. Context-sensitive nodes are skipped by the first inference pass but that doesn't always mean they can't contain valid inference sources. Furthermore, using the constraints as inferred types after the first pass leads to signature applicability errors and thus skipping the second inference pass altogether (the one that starts including context-sensitive nodes).

So, whenever something potentially could be inferred into a type parameter from a context-sensitive node we can temporarily infer a wildcard to satisfy the signature applicability check with a more permissive candidate instantiation. Then the compiler can get to the second inference pass and potentially infer useful and concrete candidates.

This fixes a class of issues around inference in the presence of context-sensitive expressions when parts of the signature want to "process" the inferred type with conditional types and whatnot. Like here:

declare function TestConfig_2<
  const TConfig extends { a?: any; b?: (arg: number) => unknown; c?: any },
>(
  config: TConfig,
  test: keyof Omit<TConfig, "a" | "b"> extends never ? true : false,
): void;

TestConfig_2(
  {
    a: "hello",
    b: (arg) => {
      return "123";
    },
  },
  true, // currently an error but fixed with this PR
);

fixes #62204
fixes #55489
fixes #55124
fixes #54438
and fixes some of the issues reported in #47599

[jakebailey]

@typescript-bot test it

[typescript-bot]

Starting jobs; this comment will be updated as builds start and complete.

Command	Status	Results
test top400	✅ Started	👀 Results
user test this	✅ Started	👀 Results
run dt	✅ Started	👀 Results
perf test this faster	✅ Started	👀 Results

[typescript-bot]

Hey @jakebailey, the results of running the DT tests are ready.

There were interesting changes:

Branch only errors:

Package: carbon-components-react
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/carbon-components-react/carbon-components-react-tests.tsx
  586:22  error  TypeScript@local compile error: 
Parameter 'evt' implicitly has an 'any' type  @definitelytyped/expect

✖ 1 problem (1 error, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: d3-selection
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/d3-selection/d3-selection-tests.ts
   919:31  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         @definitelytyped/expect
   919:34  error  TypeScript@local compile error: 
Parameter 'i' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         @definitelytyped/expect
   919:37  error  TypeScript@local compile error: 
Parameter 'g' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         @definitelytyped/expect
   928:12  error  TypeScript@local compile error: 
'this' implicitly has type 'any' because it does not have a type annotation                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        @definitelytyped/expect
   940:12  error  TypeScript@local compile error: 
'this' implicitly has type 'any' because it does not have a type annotation                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        @definitelytyped/expect
  1231:21  error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     @definitelytyped/expect
  1231:56  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         @definitelytyped/expect
  1242:30  error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     @definitelytyped/expect
  1242:67  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         @definitelytyped/expect
  1259:5   error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     @definitelytyped/expect
  1259:40  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         @definitelytyped/expect
  1277:5   error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     @definitelytyped/expect
  1277:42  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         @definitelytyped/expect
  1324:10  error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     @definitelytyped/expect
  1354:9   error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     @definitelytyped/expect
  1354:9   error  TypeScript@local compile error: 
No overload matches this call.
  Overload 1 of 2, '(enter: "symbol" | "animate" | "animateMotion" | "animateTransform" | "circle" | "clipPath" | "defs" | "desc" | "ellipse" | "feBlend" | "feColorMatrix" | "feComponentTransfer" | ... 47 more ... | keyof HTMLElementTagNameMap, update?: ((elem: Selection<...>) => Selection<...> | ... 1 more ... | undefined) | undefined, exit?: ((elem: Selection<...>) => void) | undefined): Selection<...>', gave the following error.
    Argument of type '(enter: any) => TransitionLike<BaseType, unknown>' is not assignable to parameter of type '"symbol" | "animate" | "animateMotion" | "animateTransform" | "circle" | "clipPath" | "defs" | "desc" | "ellipse" | "feBlend" | "feColorMatrix" | "feComponentTransfer" | "feComposite" | ... 46 more ... | keyof HTMLElementTagNameMap'.
  Overload 2 of 2, '(enter: string | ((elem: Selection<EnterElement, number, HTMLElement, unknown>) => TransitionLike<HTMLElement, number> | Selection<...>), update?: ((elem: Selection<...>) => Selection<...> | ... 1 more ... | undefined) | undefined, exit?: ((elem: Selection<...>) => void) | undefined): Selection<...>', gave the following error.
    Argument of type '(enter: any) => TransitionLike<BaseType, unknown>' is not assignable to parameter of type 'string | ((elem: Selection<EnterElement, number, HTMLElement, unknown>) => TransitionLike<HTMLElement, number> | Selection<...>)'.
      Type '(enter: any) => TransitionLike<BaseType, unknown>' is not assignable to type '(elem: Selection<EnterElement, number, HTMLElement, unknown>) => TransitionLike<HTMLElement, number> | Selection<...>'.
        Type 'TransitionLike<BaseType, unknown>' is not assignable to type 'TransitionLike<HTMLElement, number> | Selection<BaseType, number, HTMLElement, unknown>'.
          Type 'TransitionLike<BaseType, unknown>' is not assignable to type 'TransitionLike<HTMLElement, number>'.
            Type 'BaseType' is not assignable to type 'HTMLElement'.
              Type 'null' is not assignable to type 'HTMLElement'  @definitelytyped/expect
  1354:79  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         @definitelytyped/expect

✖ 17 problems (17 errors, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: d3-selection/v2
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/d3-selection/v2/d3-selection-tests.ts
   917:31  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                   @definitelytyped/expect
   917:34  error  TypeScript@local compile error: 
Parameter 'i' implicitly has an 'any' type                                   @definitelytyped/expect
   917:37  error  TypeScript@local compile error: 
Parameter 'g' implicitly has an 'any' type                                   @definitelytyped/expect
   926:12  error  TypeScript@local compile error: 
'this' implicitly has type 'any' because it does not have a type annotation  @definitelytyped/expect
   938:12  error  TypeScript@local compile error: 
'this' implicitly has type 'any' because it does not have a type annotation  @definitelytyped/expect
  1226:21  error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                               @definitelytyped/expect
  1226:56  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                   @definitelytyped/expect
  1237:30  error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                               @definitelytyped/expect
  1237:67  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                   @definitelytyped/expect
  1254:5   error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                               @definitelytyped/expect
  1254:40  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                   @definitelytyped/expect
  1272:5   error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                               @definitelytyped/expect
  1272:42  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                   @definitelytyped/expect
  1319:10  error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                               @definitelytyped/expect

✖ 14 problems (14 errors, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: d3-selection/v1
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/d3-selection/v1/d3-selection-tests.ts
   903:31  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                   @definitelytyped/expect
   903:34  error  TypeScript@local compile error: 
Parameter 'i' implicitly has an 'any' type                                   @definitelytyped/expect
   903:37  error  TypeScript@local compile error: 
Parameter 'g' implicitly has an 'any' type                                   @definitelytyped/expect
   912:12  error  TypeScript@local compile error: 
'this' implicitly has type 'any' because it does not have a type annotation  @definitelytyped/expect
   924:12  error  TypeScript@local compile error: 
'this' implicitly has type 'any' because it does not have a type annotation  @definitelytyped/expect
  1281:21  error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                               @definitelytyped/expect
  1281:56  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                   @definitelytyped/expect
  1292:30  error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                               @definitelytyped/expect
  1292:67  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                   @definitelytyped/expect
  1309:5   error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                               @definitelytyped/expect
  1309:40  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                   @definitelytyped/expect
  1327:5   error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                               @definitelytyped/expect
  1327:42  error  TypeScript@local compile error: 
Parameter 'd' implicitly has an 'any' type                                   @definitelytyped/expect
  1374:10  error  TypeScript@local compile error: 
Parameter 'enter' implicitly has an 'any' type                               @definitelytyped/expect

✖ 14 problems (14 errors, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: react/v18
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/react/v18/test/tsx.tsx
  321:19  error  TypeScript@local compile error: 
Expression produces a union type that is too complex to represent  @definitelytyped/expect

✖ 1 problem (1 error, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: react
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/react/test/tsx.tsx
  303:19  error  TypeScript@local compile error: 
Expression produces a union type that is too complex to represent  @definitelytyped/expect

✖ 1 problem (1 error, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: jquery-jcrop
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/jquery-jcrop/jquery-jcrop-tests.ts
   1:9   error  TypeScript@local compile error: 
Parameter '$' implicitly has an 'any' type                                   @definitelytyped/expect
  10:9   error  TypeScript@local compile error: 
Parameter '$' implicitly has an 'any' type                                   @definitelytyped/expect
  17:9   error  TypeScript@local compile error: 
Parameter '$' implicitly has an 'any' type                                   @definitelytyped/expect
  32:9   error  TypeScript@local compile error: 
Parameter '$' implicitly has an 'any' type                                   @definitelytyped/expect
  38:21  error  TypeScript@local compile error: 
'this' implicitly has type 'any' because it does not have a type annotation  @definitelytyped/expect
  41:29  error  TypeScript@local compile error: 
Parameter 'e' implicitly has an 'any' type                                   @definitelytyped/expect
  46:28  error  TypeScript@local compile error: 
Parameter 'e' implicitly has an 'any' type                                   @definitelytyped/expect

✖ 7 problems (7 errors, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: layui
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/layui/test/table.test.ts
  309:34  error  TypeScript@local compile error: 
Parameter 'obj' implicitly has an 'any' type  @definitelytyped/expect
  312:34  error  TypeScript@local compile error: 
Parameter 'obj' implicitly has an 'any' type  @definitelytyped/expect
  315:38  error  TypeScript@local compile error: 
Parameter 'obj' implicitly has an 'any' type  @definitelytyped/expect

/mnt/vss/_work/1/DefinitelyTyped/types/layui/test/tabs.test.ts
  48:33  error  TypeScript@local compile error: 
Parameter 'data' implicitly has an 'any' type  @definitelytyped/expect

✖ 4 problems (4 errors, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: oojs
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/oojs/oojs-tests.ts
  103:5  error  TypeScript@local compile error: 
Excessive stack depth comparing types 'LeavesOf<T, ?>' and 'LeavesOf<T, ?>'  @definitelytyped/expect
  103:5  error  TypeScript@local compile error: 
Type instantiation is excessively deep and possibly infinite                 @definitelytyped/expect
  108:5  error  TypeScript@local compile error: 
Excessive stack depth comparing types 'NodesOf<T, ?>' and 'NodesOf<T, ?>'    @definitelytyped/expect
  108:5  error  TypeScript@local compile error: 
Type instantiation is excessively deep and possibly infinite                 @definitelytyped/expect

✖ 4 problems (4 errors, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: pg
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/pg/pg-tests.ts
  55:48  error  TypeScript@local compile error: 
Parameter 'err' implicitly has an 'any' type     @definitelytyped/expect
  55:53  error  TypeScript@local compile error: 
Parameter 'result' implicitly has an 'any' type  @definitelytyped/expect
  74:31  error  TypeScript@local compile error: 
Parameter 'err' implicitly has an 'any' type     @definitelytyped/expect
  74:36  error  TypeScript@local compile error: 
Parameter 'res' implicitly has an 'any' type     @definitelytyped/expect

✖ 4 problems (4 errors, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: yaireo__tagify
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/yaireo__tagify/test/index.ts
  1107:23  error  TypeScript@local compile error: 
Parameter 'data' implicitly has an 'any' type  @definitelytyped/expect

✖ 1 problem (1 error, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: jquery
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/jquery/jquery-tests.ts
  139:20  error  TypeScript@local compile error: 
Parameter '$' implicitly has an 'any' type  @definitelytyped/expect
  143:13  error  TypeScript@local expected type to be:
  JQueryStatic
got:
  any              @definitelytyped/expect

/mnt/vss/_work/1/DefinitelyTyped/types/jquery/test/example-tests.ts
  3331:25  error  TypeScript@local compile error: 
Parameter '$' implicitly has an 'any' type  @definitelytyped/expect

/mnt/vss/_work/1/DefinitelyTyped/types/jquery/test/longdesc-tests.ts
  2166:22  error  TypeScript@local compile error: 
Parameter '$' implicitly has an 'any' type  @definitelytyped/expect

✖ 4 problems (4 errors, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: meteor-mdg-validated-method
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/meteor-mdg-validated-method/meteor-mdg-validated-method-tests.ts
  149:21  error  TypeScript@local compile error: 
Argument of type '{ name: "methodWithFaultySchemaMixin"; mixins: (() => void)[]; run(): string; }' is not assignable to parameter of type 'ValidatedMethodOptionsWithMixins<"methodWithFaultySchemaMixin", any> & ThisType<ValidatedMethodThisBase & { name: "methodWithFaultySchemaMixin"; }>'.
  Property 'validate' is missing in type '{ name: "methodWithFaultySchemaMixin"; mixins: (() => void)[]; run(): string; }' but required in type 'ValidatedMethodOptionsWithMixins<"methodWithFaultySchemaMixin", any>'                  @definitelytyped/expect
  151:5   error  TypeScript@local compile error: 
Unused '@ts-expect-error' directive                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      @definitelytyped/expect
  159:21  error  TypeScript@local compile error: 
Argument of type '{ name: "methodWithFaultySchemaMixin"; mixins: ((args: any) => any)[]; run(): string; }' is not assignable to parameter of type 'ValidatedMethodOptionsWithMixins<"methodWithFaultySchemaMixin", any> & ThisType<ValidatedMethodThisBase & { name: "methodWithFaultySchemaMixin"; }>'.
  Property 'validate' is missing in type '{ name: "methodWithFaultySchemaMixin"; mixins: ((args: any) => any)[]; run(): string; }' but required in type 'ValidatedMethodOptionsWithMixins<"methodWithFaultySchemaMixin", any>'  @definitelytyped/expect

✖ 3 problems (3 errors, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: lodash
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/lodash/lodash-tests.ts
  2885:18  error  TypeScript@local compile error: 
Parameter 'value' implicitly has an 'any' type              @definitelytyped/expect
  2885:25  error  TypeScript@local compile error: 
Parameter 'index' implicitly has an 'any' type              @definitelytyped/expect
  2885:32  error  TypeScript@local compile error: 
Parameter 'collection' implicitly has an 'any' type         @definitelytyped/expect
  2886:9   error  TypeScript@local expected type to be:
  AbcObject
got:
  any                                 @definitelytyped/expect
  2887:9   error  TypeScript@local expected type to be:
  number
got:
  any                                    @definitelytyped/expect
  2888:9   error  TypeScript@local expected type to be:
  ArrayLike<AbcObject> || List<AbcObject>
got:
  any   @definitelytyped/expect
  2893:24  error  TypeScript@local compile error: 
Parameter 'value' implicitly has an 'any' type              @definitelytyped/expect
  2893:31  error  TypeScript@local compile error: 
Parameter 'key' implicitly has an 'any' type                @definitelytyped/expect
  2893:36  error  TypeScript@local compile error: 
Parameter 'collection' implicitly has an 'any' type         @definitelytyped/expect
  2894:9   error  TypeScript@local expected type to be:
  AbcObject
got:
  any                                 @definitelytyped/expect
  2895:9   error  TypeScript@local expected type to be:
  string
got:
  any                                    @definitelytyped/expect
  2896:9   error  TypeScript@local expected type to be:
  Dictionary<AbcObject>
got:
  any                     @definitelytyped/expect
  2901:31  error  TypeScript@local compile error: 
Parameter 'value' implicitly has an 'any' type              @definitelytyped/expect
  2901:38  error  TypeScript@local compile error: 
Parameter 'key' implicitly has an 'any' type                @definitelytyped/expect
  2901:43  error  TypeScript@local compile error: 
Parameter 'collection' implicitly has an 'any' type         @definitelytyped/expect
  2902:9   error  TypeScript@local expected type to be:
  AbcObject
got:
  any                                 @definitelytyped/expect
  2903:9   error  TypeScript@local expected type to be:
  string
got:
  any                                    @definitelytyped/expect
  2904:9   error  TypeScript@local expected type to be:
  NumericDictionary<AbcObject>
got:
  any              @definitelytyped/expect
  2919:24  error  TypeScript@local compile error: 
Parameter 'value' implicitly has an 'any' type              @definitelytyped/expect
  2919:31  error  TypeScript@local compile error: 
Parameter 'index' implicitly has an 'any' type              @definitelytyped/expect
  2919:38  error  TypeScript@local compile error: 
Parameter 'collection' implicitly has an 'any' type         @definitelytyped/expect
  2920:9   error  TypeScript@local expected type to be:
  AbcObject
got:
  any                                 @definitelytyped/expect
  2921:9   error  TypeScript@local expected type to be:
  number
got:
  any                                    @definitelytyped/expect
  2922:9   error  TypeScript@local expected type to be:
  ArrayLike<AbcObject> || List<AbcObject>
got:
  any   @definitelytyped/expect
  2927:30  error  TypeScript@local compile error: 
Parameter 'value' implicitly has an 'any' type              @definitelytyped/expect
  2927:37  error  TypeScript@local compile error: 
Parameter 'key' implicitly has an 'any' type                @definitelytyped/expect
  2927:42  error  TypeScript@local compile error: 
Parameter 'collection' implicitly has an 'any' type         @definitelytyped/expect
  2928:9   error  TypeScript@local expected type to be:
  AbcObject
got:
  any                                 @definitelytyped/expect
  2929:9   error  TypeScript@local expected type to be:
  string
got:
  any                                    @definitelytyped/expect
  2930:9   error  TypeScript@local expected type to be:
  Dictionary<AbcObject>
got:
  any                     @definitelytyped/expect
  2935:37  error  TypeScript@local compile error: 
Parameter 'value' implicitly has an 'any' type              @definitelytyped/expect
  2935:44  error  TypeScript@local compile error: 
Parameter 'key' implicitly has an 'any' type                @definitelytyped/expect
  2935:49  error  TypeScript@local compile error: 
Parameter 'collection' implicitly has an 'any' type         @definitelytyped/expect
  2936:9   error  TypeScript@local expected type to be:
  AbcObject
got:
  any                                 @definitelytyped/expect
  2937:9   error  TypeScript@local expected type to be:
  string
got:
  any                                    @definitelytyped/expect
  2938:9   error  TypeScript@local expected type to be:
  NumericDictionary<AbcObject>
got:
  any              @definitelytyped/expect
  5619:5   error  TypeScript@local expected type to be:
  CollectionChain<string>
got:
  CollectionChain<any>  @definitelytyped/expect
  5619:43  error  TypeScript@local compile error: 
Parameter 'val' implicitly has an 'any' type                @definitelytyped/expect
  5620:5   error  TypeScript@local expected type to be:
  CollectionChain<string>
got:
  CollectionChain<any>  @definitelytyped/expect
  5620:62  error  TypeScript@local compile error: 
Parameter 'val' implicitly has an 'any' type                @definitelytyped/expect

✖ 40 problems (40 errors, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

Package: yargs
Error:

Error: 
/mnt/vss/_work/1/DefinitelyTyped/types/yargs/yargs-tests.ts
  1496:19  error  TypeScript@local compile error: 
Parameter 'yargs' implicitly has an 'any' type  @definitelytyped/expect
  1504:19  error  TypeScript@local compile error: 
Parameter 'argv' implicitly has an 'any' type   @definitelytyped/expect

✖ 2 problems (2 errors, 0 warnings)

    at combineErrorsAndWarnings (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:199:28)
    at runTests (/mnt/vss/_work/1/DefinitelyTyped/node_modules/.pnpm/@definitelytyped+dtslint@0.2.34_typescript@6.0.0-dev.20251105/node_modules/@definitelytyped/dtslint/dist/index.js:191:20)

You can check the log here.

[typescript-bot]

@jakebailey Here are the results of running the user tests with tsc comparing main and refs/pull/62725/merge:

There were infrastructure failures potentially unrelated to your change:

• 1 instance of "Git clone failed"

Otherwise...

Something interesting changed - please have a look.

Details

effect

packages/effect/benchmark/tsconfig.json

• [NEW] error TS7006: Parameter 'args' implicitly has an 'any' type.
  • packages/effect/src/Schema.ts#L2559
  • packages/effect/src/internal/fiberRuntime.ts#L1672
  • packages/effect/src/internal/fiberRuntime.ts#L1686
  • packages/effect/src/internal/fiberRuntime.ts#L2053
• [NEW] error TS2345: Argument of type '(input: FiberIdEncoded) => fiberId_.FiberId' is not assignable to parameter of type '(t: unknown) => FiberId'.
  • packages/effect/src/Schema.ts#L9173
• [NEW] error TS2345: Argument of type '<E>(cause: CauseEncoded<E, unknown>) => Cause<E>' is not assignable to parameter of type '(t: unknown) => Cause<unknown>'.
  • packages/effect/src/Schema.ts#L9350

[typescript-bot]

@jakebailey
The results of the perf run you requested are in!

Here they are:

tsc

Comparison Report - baseline..pr

Metric	baseline	pr	Delta	Best	Worst	p-value
Compiler-Unions - node (v18.15.0, x64)
Errors	1	1	~	~	~	p=1.000 n=6
Symbols	62,370	62,385	+15 (+ 0.02%)	~	~	p=0.001 n=6
Types	50,386	50,401	+15 (+ 0.03%)	~	~	p=0.001 n=6
Memory used	195,702k (± 0.76%)	194,507k (± 0.98%)	~	192,657k	196,335k	p=0.230 n=6
Parse Time	1.30s (± 0.69%)	1.29s (± 0.65%)	~	1.28s	1.30s	p=0.437 n=6
Bind Time	0.72s	0.72s	~	~	~	p=1.000 n=6
Check Time	9.86s (± 0.18%)	9.92s (± 0.28%)	+0.06s (+ 0.57%)	9.89s	9.97s	p=0.004 n=6
Emit Time	2.75s (± 0.63%)	2.69s (± 0.79%)	-0.06s (- 2.18%)	2.67s	2.72s	p=0.005 n=6
Total Time	14.63s (± 0.19%)	14.64s (± 0.23%)	~	14.59s	14.68s	p=0.936 n=6
angular-1 - node (v18.15.0, x64)
Errors	2	2	~	~	~	p=1.000 n=6
Symbols	956,047	954,922	-1,125 (- 0.12%)	~	~	p=0.001 n=6
Types	415,881	416,125	+244 (+ 0.06%)	~	~	p=0.001 n=6
Memory used	1,255,047k (± 0.00%)	1,255,444k (± 0.01%)	+398k (+ 0.03%)	1,255,342k	1,255,534k	p=0.005 n=6
Parse Time	6.48s (± 0.38%)	6.56s (± 1.02%)	+0.07s (+ 1.13%)	6.49s	6.66s	p=0.036 n=6
Bind Time	1.88s (± 0.43%)	1.88s (± 0.22%)	~	1.87s	1.88s	p=0.206 n=6
Check Time	32.33s (± 0.60%)	32.36s (± 0.36%)	~	32.16s	32.51s	p=0.520 n=6
Emit Time	14.94s (± 0.22%)	14.91s (± 0.26%)	~	14.85s	14.96s	p=0.169 n=6
Total Time	55.62s (± 0.37%)	55.71s (± 0.25%)	~	55.55s	55.93s	p=0.377 n=6
mui-docs - node (v18.15.0, x64)
Errors	1	1	~	~	~	p=1.000 n=6
Symbols	552,568	552,568	~	~	~	p=1.000 n=6
Types	89	89	~	~	~	p=1.000 n=6
Memory used	827,090k (± 0.00%)	827,071k (± 0.00%)	-19k (- 0.00%)	827,063k	827,081k	p=0.037 n=6
Parse Time	8.37s (± 0.20%)	8.37s (± 0.22%)	~	8.34s	8.39s	p=1.000 n=6
Bind Time	2.18s (± 0.54%)	2.18s (± 0.37%)	~	2.17s	2.19s	p=0.498 n=6
Check Time	0.00s	0.00s	~	~	~	p=1.000 n=6
Emit Time	0.28s	0.28s (± 1.47%)	~	0.27s	0.28s	p=0.405 n=6
Total Time	10.82s (± 0.15%)	10.83s (± 0.22%)	~	10.79s	10.85s	p=0.567 n=6
self-build-src - node (v18.15.0, x64)
Errors	0	0	~	~	~	p=1.000 n=6
Symbols	1,237,277	1,237,488	+211 (+ 0.02%)	~	~	p=0.001 n=6
Types	259,883	260,579	+696 (+ 0.27%)	~	~	p=0.001 n=6
Memory used	2,668,498k (±13.39%)	2,670,381k (±13.40%)	~	2,366,215k	3,095,245k	p=0.298 n=6
Parse Time	5.19s (± 1.31%)	5.20s (± 1.65%)	~	5.11s	5.32s	p=1.000 n=6
Bind Time	1.77s (± 1.23%)	1.77s (± 0.92%)	~	1.75s	1.79s	p=0.935 n=6
Check Time	35.21s (± 1.06%)	35.46s (± 1.13%)	~	34.83s	35.90s	p=0.298 n=6
Emit Time	3.04s (± 1.05%)	2.98s (± 1.62%)	~	2.92s	3.03s	p=0.078 n=6
Total Time	45.20s (± 0.88%)	45.41s (± 1.05%)	~	44.72s	45.95s	p=0.298 n=6
self-build-src-public-api - node (v18.15.0, x64)
Errors	0	0	~	~	~	p=1.000 n=6
Symbols	1,237,277	1,237,488	+211 (+ 0.02%)	~	~	p=0.001 n=6
Types	259,883	260,579	+696 (+ 0.27%)	~	~	p=0.001 n=6
Memory used	3,159,127k (± 0.05%)	3,040,012k (± 9.74%)	~	2,435,237k	3,162,092k	p=0.230 n=6
Parse Time	6.82s (± 0.65%)	6.81s (± 1.86%)	~	6.56s	6.92s	p=0.521 n=6
Bind Time	2.15s (± 0.72%)	2.17s (± 2.03%)	~	2.12s	2.24s	p=0.630 n=6
Check Time	42.84s (± 0.33%)	43.06s (± 0.72%)	~	42.47s	43.32s	p=0.093 n=6
Emit Time	3.53s (± 3.41%)	3.52s (± 2.55%)	~	3.38s	3.61s	p=0.630 n=6
Total Time	55.35s (± 0.36%)	55.56s (± 0.79%)	~	54.72s	55.90s	p=0.128 n=6
self-compiler - node (v18.15.0, x64)
Errors	0	0	~	~	~	p=1.000 n=6
Symbols	262,522	262,849	+327 (+ 0.12%)	~	~	p=0.001 n=6
Types	104,048	104,234	+186 (+ 0.18%)	~	~	p=0.001 n=6
Memory used	440,672k (± 0.02%)	441,251k (± 0.01%)	+579k (+ 0.13%)	441,196k	441,311k	p=0.005 n=6
Parse Time	3.51s (± 1.23%)	3.52s (± 0.84%)	~	3.48s	3.57s	p=0.745 n=6
Bind Time	1.32s (± 0.88%)	1.32s (± 1.12%)	~	1.30s	1.34s	p=0.680 n=6
Check Time	18.93s (± 0.37%)	19.09s (± 0.21%)	+0.15s (+ 0.81%)	19.03s	19.15s	p=0.005 n=6
Emit Time	1.53s (± 1.07%)	1.52s (± 1.08%)	~	1.50s	1.54s	p=0.321 n=6
Total Time	25.29s (± 0.45%)	25.45s (± 0.19%)	+0.16s (+ 0.63%)	25.39s	25.53s	p=0.016 n=6
ts-pre-modules - node (v18.15.0, x64)
Errors	72	72	~	~	~	p=1.000 n=6
Symbols	225,386	225,416	+30 (+ 0.01%)	~	~	p=0.001 n=6
Types	94,304	94,362	+58 (+ 0.06%)	~	~	p=0.001 n=6
Memory used	370,044k (± 0.02%)	370,174k (± 0.02%)	+130k (+ 0.03%)	370,103k	370,304k	p=0.020 n=6
Parse Time	2.84s (± 1.23%)	2.83s (± 1.40%)	~	2.79s	2.88s	p=0.746 n=6
Bind Time	1.61s (± 1.21%)	1.61s (± 1.04%)	~	1.59s	1.63s	p=0.871 n=6
Check Time	16.52s (± 0.45%)	16.61s (± 0.31%)	+0.09s (+ 0.52%)	16.54s	16.68s	p=0.045 n=6
Emit Time	0.00s (±244.70%)	0.00s	~	~	~	p=0.405 n=6
Total Time	20.97s (± 0.46%)	21.05s (± 0.39%)	~	20.96s	21.16s	p=0.228 n=6
vscode - node (v18.15.0, x64)
Errors	5	5	~	~	~	p=1.000 n=6
Symbols	4,016,983	4,011,291	-5,692 (- 0.14%)	~	~	p=0.001 n=6
Types	1,260,212	1,261,591	+1,379 (+ 0.11%)	~	~	p=0.001 n=6
Memory used	3,798,276k (± 0.01%)	3,800,949k (± 0.01%)	+2,674k (+ 0.07%)	3,800,572k	3,801,169k	p=0.005 n=6
Parse Time	15.54s (± 0.84%)	15.54s (± 0.37%)	~	15.44s	15.60s	p=1.000 n=6
Bind Time	5.04s (± 0.32%)	5.03s (± 0.98%)	~	4.97s	5.12s	p=0.459 n=6
Check Time	105.01s (± 4.57%)	107.07s (± 4.09%)	~	101.91s	113.41s	p=0.575 n=6
Emit Time	42.42s (±10.03%)	39.27s (±22.57%)	~	31.39s	53.14s	p=0.378 n=6
Total Time	168.00s (± 3.86%)	166.90s (± 6.30%)	~	159.65s	187.18s	p=0.336 n=6
webpack - node (v18.15.0, x64)
Errors	40	40	~	~	~	p=1.000 n=6
Symbols	379,164	379,398	+234 (+ 0.06%)	~	~	p=0.001 n=6
Types	166,355	166,555	+200 (+ 0.12%)	~	~	p=0.001 n=6
Memory used	537,994k (± 0.00%)	538,245k (± 0.03%)	+250k (+ 0.05%)	537,975k	538,484k	p=0.045 n=6
Parse Time	4.66s (± 0.59%)	4.60s (± 0.54%)	-0.06s (- 1.22%)	4.57s	4.63s	p=0.010 n=6
Bind Time	1.94s (± 0.76%)	1.94s (± 0.65%)	~	1.93s	1.96s	p=0.866 n=6
Check Time	22.63s (± 0.15%)	22.75s (± 1.15%)	~	22.51s	23.26s	p=0.230 n=6
Emit Time	0.00s	0.00s	~	~	~	p=1.000 n=6
Total Time	29.22s (± 0.13%)	29.29s (± 0.82%)	~	29.05s	29.75s	p=0.467 n=6
xstate-main - node (v18.15.0, x64)
Errors	30	32	🔻+2 (+ 6.67%)	~	~	p=0.001 n=6
Symbols	690,485	700,194	+9,709 (+ 1.41%)	~	~	p=0.001 n=6
Types	208,757	212,235	+3,478 (+ 1.67%)	~	~	p=0.001 n=6
Memory used	586,527k (± 0.03%)	592,954k (± 0.03%)	+6,426k (+ 1.10%)	592,784k	593,198k	p=0.005 n=6
Parse Time	4.18s (± 0.88%)	4.17s (± 1.02%)	~	4.14s	4.25s	p=0.624 n=6
Bind Time	1.33s (± 1.32%)	1.33s (± 0.74%)	~	1.32s	1.34s	p=0.866 n=6
Check Time	20.65s (± 1.74%)	20.96s (± 1.73%)	~	20.61s	21.35s	p=0.173 n=6
Emit Time	0.00s	0.00s	~	~	~	p=1.000 n=6
Total Time	26.16s (± 1.31%)	26.47s (± 1.28%)	~	26.10s	26.81s	p=0.173 n=6

System info unknown

Hosts

• node (v18.15.0, x64)

Scenarios

• Compiler-Unions - node (v18.15.0, x64)
• angular-1 - node (v18.15.0, x64)
• mui-docs - node (v18.15.0, x64)
• self-build-src - node (v18.15.0, x64)
• self-build-src-public-api - node (v18.15.0, x64)
• self-compiler - node (v18.15.0, x64)
• ts-pre-modules - node (v18.15.0, x64)
• vscode - node (v18.15.0, x64)
• webpack - node (v18.15.0, x64)
• xstate-main - node (v18.15.0, x64)

Benchmark	Name	Iterations
Current	pr	6
Baseline	baseline	6

Developer Information:

Download Benchmarks

[typescript-bot]

@jakebailey Here are the results of running the top 400 repos with tsc comparing main and refs/pull/62725/merge:

Something interesting changed - please have a look.

Details

reduxjs/reselect

4 of 6 projects failed to build with the old tsc and were ignored

typescript_test/tsconfig.json

• error TS7006: Parameter 'a' implicitly has an 'any' type.
  • typescript_test/argsMemoize.typetest.ts#L838
• error TS7006: Parameter 'b' implicitly has an 'any' type.
  • typescript_test/argsMemoize.typetest.ts#L838
• error TS7006: Parameter 'state' implicitly has an 'any' type.
  • typescript_test/test.ts#L1429

type-tests/tsconfig.json

• error TS7006: Parameter 'a' implicitly has an 'any' type.
  • type-tests/argsMemoize.test-d.ts#L863
  • typescript_test/argsMemoize.typetest.ts#L838
• error TS7006: Parameter 'b' implicitly has an 'any' type.
  • type-tests/argsMemoize.test-d.ts#L863
  • typescript_test/argsMemoize.typetest.ts#L838
• error TS7006: Parameter 'state' implicitly has an 'any' type.
  • type-tests/createSelector.withTypes.test-d.ts#L43
  • typescript_test/test.ts#L1429
• error TS2344: Type 'RootState' does not satisfy the constraint 'never'.
  • type-tests/createSelector.withTypes.test-d.ts#L44
• error TS2344: Type 'Todo[]' does not satisfy the constraint 'never'.
  • type-tests/createSelector.withTypes.test-d.ts#L50
• error TS7031: Binding element 'id' implicitly has an 'any' type.
  • type-tests/createSelector.withTypes.test-d.ts#L52

RSSNext/Folo

14 of 18 projects failed to build with the old tsc and were ignored

packages/internal/store/tsconfig.json

• error TS7006: Parameter 't' implicitly has an 'any' type.
  • packages/internal/database/src/schemas/index.ts#L134
  • packages/internal/database/src/schemas/index.ts#L149
  • packages/internal/database/src/schemas/index.ts#L161
  • packages/internal/database/src/schemas/index.ts#L180
• error TS2347: Untyped function calls may not accept type arguments.
  • packages/internal/database/src/schemas/index.ts#L136
  • packages/internal/database/src/schemas/index.ts#L151
  • packages/internal/database/src/schemas/index.ts#L187
  • packages/internal/database/src/schemas/index.ts#L193
  • packages/internal/database/src/schemas/index.ts#L195
  • packages/internal/database/src/schemas/index.ts#L202
• error TS2345: Argument of type 'SQLiteColumn<{ name: string; tableName: "translations"; dataType: ColumnDataType; columnType: string; data: unknown; driverParam: unknown; notNull: false; hasDefault: false; isPrimaryKey: false; isAutoincrement: false; ... 4 more ...; generated: undefined; }, {}, {}> | undefined' is not assignable to parameter of type 'IndexColumn'.
  • packages/internal/database/src/schemas/index.ts#L146
• error TS2345: Argument of type 'SQLiteColumn<{ name: string; tableName: "ai_chat_sessions"; dataType: ColumnDataType; columnType: string; data: unknown; driverParam: unknown; notNull: false; hasDefault: false; isPrimaryKey: false; ... 5 more ...; generated: undefined; }, {}, {}> | undefined' is not assignable to parameter of type 'IndexColumn'.
  • packages/internal/database/src/schemas/index.ts#L174
• error TS2345: Argument of type 'SQLiteColumn<{ name: string; tableName: "ai_chat_messages"; dataType: ColumnDataType; columnType: string; data: unknown; driverParam: unknown; notNull: false; hasDefault: false; isPrimaryKey: false; ... 5 more ...; generated: undefined; }, {}, {}> | undefined' is not assignable to parameter of type 'IndexColumn'.
  • packages/internal/database/src/schemas/index.ts#L205
  • packages/internal/database/src/schemas/index.ts#L206
  • packages/internal/database/src/schemas/index.ts#L207
• error TS7053: Element implicitly has an 'any' type because expression of type 'any' can't be used to index type 'Partial<Record<SupportedActionLanguage, EntryTranslation>>'.
  • packages/internal/store/src/modules/translation/store.ts#L57
  • packages/internal/store/src/modules/translation/store.ts#L58
  • packages/internal/store/src/modules/translation/store.ts#L68

packages/internal/database/tsconfig.json

• error TS7006: Parameter 't' implicitly has an 'any' type.
  • packages/internal/database/src/schemas/index.ts#L134
  • packages/internal/database/src/schemas/index.ts#L149
  • packages/internal/database/src/schemas/index.ts#L161
  • packages/internal/database/src/schemas/index.ts#L180
• error TS2347: Untyped function calls may not accept type arguments.
  • packages/internal/database/src/schemas/index.ts#L136
  • packages/internal/database/src/schemas/index.ts#L151
  • packages/internal/database/src/schemas/index.ts#L187
  • packages/internal/database/src/schemas/index.ts#L193
  • packages/internal/database/src/schemas/index.ts#L195
  • packages/internal/database/src/schemas/index.ts#L202
• error TS2345: Argument of type 'SQLiteColumn<{ name: string; tableName: "translations"; dataType: ColumnDataType; columnType: string; data: unknown; driverParam: unknown; notNull: false; hasDefault: false; isPrimaryKey: false; isAutoincrement: false; ... 4 more ...; generated: undefined; }, {}, {}> | undefined' is not assignable to parameter of type 'IndexColumn'.
  • packages/internal/database/src/schemas/index.ts#L146
• error TS2345: Argument of type 'SQLiteColumn<{ name: string; tableName: "ai_chat_sessions"; dataType: ColumnDataType; columnType: string; data: unknown; driverParam: unknown; notNull: false; hasDefault: false; isPrimaryKey: false; ... 5 more ...; generated: undefined; }, {}, {}> | undefined' is not assignable to parameter of type 'IndexColumn'.
  • packages/internal/database/src/schemas/index.ts#L174
• error TS2345: Argument of type 'SQLiteColumn<{ name: string; tableName: "ai_chat_messages"; dataType: ColumnDataType; columnType: string; data: unknown; driverParam: unknown; notNull: false; hasDefault: false; isPrimaryKey: false; ... 5 more ...; generated: undefined; }, {}, {}> | undefined' is not assignable to parameter of type 'IndexColumn'.
  • packages/internal/database/src/schemas/index.ts#L205
  • packages/internal/database/src/schemas/index.ts#L206
  • packages/internal/database/src/schemas/index.ts#L207

trpc/trpc

36 of 42 projects failed to build with the old tsc and were ignored

packages/react-query/tsconfig.json

• error TS2578: Unused '@ts-expect-error' directive.
  • packages/react-query/test/regression/issue-4519-invalid-select-as-transform.test.tsx#L111
• error TS2769: No overload matches this call.
  • packages/react-query/test/regression/issue-4519-invalid-select-as-transform.test.tsx#L120

[Andarist]

Repros:

• one of the reselect's one: TS playground. Overloads somehow throw a wrench in here, note that state parameter is being contextually typed with any originally too - but with this PR it's an implicit any
• one of the Folo's breaks that is actually a Drizzle ORM break: TS playground. It's overloads-related again. My intuition says that it's very likely it would just work if the compiler would have this. I'll think what can be done to mitigate this here without it.