Skip to content

Improve TypeScript error messages for long type assignments #33490

Improve TypeScript error messages for long type assignments

Improve TypeScript error messages for long type assignments #33490

Triggered via pull request May 28, 2025 06:40
Status Failure
Total duration 20m 2s
Artifacts 1

ci.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

168 errors
format
Process completed with exit code 20.
Test Node 22 on ubuntu-latest
Type:
Test Node 22 on ubuntu-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 22 on ubuntu-latest
Type:
Test Node 22 on ubuntu-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 22 on ubuntu-latest
Type:
Test Node 22 on ubuntu-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 22 on ubuntu-latest
Type '(x: (arg: stri
Test Node 22 on ubuntu-latest
Type '[number, nu
Test Node 22 on ubuntu-latest
Type:
Test Node 22 on ubuntu-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 22 on ubuntu-latest
Process completed with exit code 1.
Test Node 20 on macos-latest
Type:
Test Node 20 on macos-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 20 on macos-latest
Type:
Test Node 20 on macos-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 20 on macos-latest
Type:
Test Node 20 on macos-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 20 on macos-latest
Type '(x: (arg: stri
Test Node 20 on macos-latest
Type '[number, nu
Test Node 20 on macos-latest
Type:
Test Node 20 on macos-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 20 on macos-latest
Process completed with exit code 1.
Test Node 20 on ubuntu-latest
Type:
Test Node 20 on ubuntu-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 20 on ubuntu-latest
Type:
Test Node 20 on ubuntu-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 20 on ubuntu-latest
Type:
Test Node 20 on ubuntu-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 20 on ubuntu-latest
Type '(x: (arg: stri
Test Node 20 on ubuntu-latest
Type '[number, nu
Test Node 20 on ubuntu-latest
Type:
Test Node 20 on ubuntu-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 20 on ubuntu-latest
Process completed with exit code 1.
Test Node 22 on macos-latest
Type:
Test Node 22 on macos-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 22 on macos-latest
Type:
Test Node 22 on macos-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 22 on macos-latest
Type:
Test Node 22 on macos-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 22 on macos-latest
Type '(x: (arg: stri
Test Node 22 on macos-latest
Type '[number, nu
Test Node 22 on macos-latest
Type:
Test Node 22 on macos-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 22 on macos-latest
Process completed with exit code 1.
baselines
Process completed with exit code 1.
Test Node 18 on ubuntu-latest
Type:
Test Node 18 on ubuntu-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 18 on ubuntu-latest
Type:
Test Node 18 on ubuntu-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 18 on ubuntu-latest
Type:
Test Node 18 on ubuntu-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 18 on ubuntu-latest
Type '(x: (arg: stri
Test Node 18 on ubuntu-latest
Type '[number, nu
Test Node 18 on ubuntu-latest
Type:
Test Node 18 on ubuntu-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 18 on ubuntu-latest
Process completed with exit code 1.
Test Node 16 on ubuntu-latest
Type:
Test Node 16 on ubuntu-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 16 on ubuntu-latest
Type:
Test Node 16 on ubuntu-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 16 on ubuntu-latest
Type:
Test Node 16 on ubuntu-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 16 on ubuntu-latest
Type '(x: (arg: stri
Test Node 16 on ubuntu-latest
Type '[number, nu
Test Node 16 on ubuntu-latest
Type:
Test Node 16 on ubuntu-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 16 on ubuntu-latest
Process completed with exit code 1.
Test Node 22 on windows-latest
Type:
Test Node 22 on windows-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 22 on windows-latest
Type:
Test Node 22 on windows-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 22 on windows-latest
Type:
Test Node 22 on windows-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 22 on windows-latest
Type '(x: (arg: stri
Test Node 22 on windows-latest
Type '[number, nu
Test Node 22 on windows-latest
Type:
Test Node 22 on windows-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 22 on windows-latest
Process completed with exit code 1.
Test Node 14 on ubuntu-latest
Type:
Test Node 14 on ubuntu-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 14 on ubuntu-latest
Type:
Test Node 14 on ubuntu-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 14 on ubuntu-latest
Type:
Test Node 14 on ubuntu-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 14 on ubuntu-latest
Type '(x: (arg: stri
Test Node 14 on ubuntu-latest
Type '[number, nu
Test Node 14 on ubuntu-latest
Type:
Test Node 14 on ubuntu-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 14 on ubuntu-latest
Process completed with exit code 1.
Test Node 20 on windows-latest
Type:
Test Node 20 on windows-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 20 on windows-latest
Type:
Test Node 20 on windows-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 20 on windows-latest
Type:
Test Node 20 on windows-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 20 on windows-latest
Type '(x: (arg: stri
Test Node 20 on windows-latest
Type '[number, nu
Test Node 20 on windows-latest
Type:
Test Node 20 on windows-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 20 on windows-latest
Process completed with exit code 1.
Test Node 18 on windows-latest
Type:
Test Node 18 on windows-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 18 on windows-latest
Type:
Test Node 18 on windows-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 18 on windows-latest
Type:
Test Node 18 on windows-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 18 on windows-latest
Type '(x: (arg: stri
Test Node 18 on windows-latest
Type '[number, nu
Test Node 18 on windows-latest
Type:
Test Node 18 on windows-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 18 on windows-latest
Process completed with exit code 1.
Test Node 16 on windows-latest
Type:
Test Node 16 on windows-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 16 on windows-latest
Type:
Test Node 16 on windows-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 16 on windows-latest
Type:
Test Node 16 on windows-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 16 on windows-latest
Type '(x: (arg: stri
Test Node 16 on windows-latest
Type '[number, nu
Test Node 16 on windows-latest
Type:
Test Node 16 on windows-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 16 on windows-latest
Process completed with exit code 1.
coverage
Process completed with exit code 1.
Test Node lts/* on ubuntu-latest with --no-bundle
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node lts/* on ubuntu-latest with --no-bundle
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node lts/* on ubuntu-latest with --no-bundle
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node lts/* on ubuntu-latest with --no-bundle
Type '(x: (arg: stri
Test Node lts/* on ubuntu-latest with --no-bundle
Type '[number, nu
Test Node lts/* on ubuntu-latest with --no-bundle
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node lts/* on ubuntu-latest with --no-bundle
Process completed with exit code 1.
Test Node 14 on windows-latest
Type:
Test Node 14 on windows-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 14 on windows-latest
Type:
Test Node 14 on windows-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 14 on windows-latest
Type:
Test Node 14 on windows-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 14 on windows-latest
Type '(x: (arg: stri
Test Node 14 on windows-latest
Type '[number, nu
Test Node 14 on windows-latest
Type:
Test Node 14 on windows-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 14 on windows-latest
Process completed with exit code 1.
Test Node 18 on macos-latest
Type:
Test Node 18 on macos-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 18 on macos-latest
Type:
Test Node 18 on macos-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 18 on macos-latest
Type:
Test Node 18 on macos-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 18 on macos-latest
Type '(x: (arg: stri
Test Node 18 on macos-latest
Type '[number, nu
Test Node 18 on macos-latest
Type:
Test Node 18 on macos-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 18 on macos-latest
Process completed with exit code 1.
Test Node 16 on macos-latest
Type:
Test Node 16 on macos-latest
Type '(x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U'.
Test Node 16 on macos-latest
Type:
Test Node 16 on macos-latest
Type '(x: (arg: Base) => Derived) => (r: Base) => Derived' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U'.
Test Node 16 on macos-latest
Type:
Test Node 16 on macos-latest
Type '(x: (arg: Base) => Derived) => Base' is not assignable to type '<T extends Base, U extends Derived>(x: (arg: T) => U) => T'.
Test Node 16 on macos-latest
Type '(x: (arg: stri
Test Node 16 on macos-latest
Type '[number, nu
Test Node 16 on macos-latest
Type:
Test Node 16 on macos-latest
Type '[number, number, number, string]' is not assignable to type '[string | number, string | number, string | number]'.
Test Node 16 on macos-latest
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
fix_baselines.patch Expired
71.2 KB
sha256:04c98fa2abf84b6eec61e75ee5137c2e9601d32318e396d06bb097a4d7f6151a