chore(deps): update dependency expect-type to ^0.20.0

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
expect-type	^0.17.1 → ^0.20.0

---

Release Notes

mmkal/expect-type (expect-type)

v0.20.0

Compare Source

Breaking changes

• improve overloads support, attempt 2 by @​mmkal in #​83

This change updates how overloaded functions are treated. Now, .parameters gives you a union of the parameter-tuples that a function can take. For example, given the following type:

type Factorize = {
  (input: number): number[]
  (input: bigint): bigint[]
}

Behvaiour before:

expectTypeOf<Factorize>().parameters.toEqualTypeOf<[bigint]>()

Behaviour now:

expectTypeOf<Factorize>().parameters.toEqualTypeOf<[number] | [bigint]>()

There were similar changes for .returns, .parameter(...), and .toBeCallableWith. Also, overloaded functions are now differentiated properly when using .branded.toEqualTypeOf (this was a bug that it seems nobody found).

See #​83 for more details or look at the updated docs (including a new section called "Overloaded functions", which has more info on how this behaviour differs for TypeScript versions before 5.3).

What's Changed

• Fix rendering issue in readme by @​mrazauskas in #​69
• Fix minor issues in docs by @​aryaemami59 in #​91
• create utils file by @​mmkal in #​93
• branding.ts and messages.ts by @​mmkal in #​95
• improve overloads support, attempt 2 by @​mmkal in #​83
• Extends: explain myself 1e37116
• Mark internal APIs with @internal JSDoc tag (#​104) 4c40b07
• Re-export everything in overloads.ts file (#​107) 5ee0181
• JSDoc improvements (#​100) 0bbeffa

Full Changelog: mmkal/expect-type@v0.19.0...v0.20.0

v0.19.0

Compare Source

What's Changed

• Fix .omit() to work similarly to Omit by @​aryaemami59 in #​54
• Add JSDocs to everything by @​aryaemami59 in #​56
• Remove test import in README.md by @​aryaemami59 in #​65

Full Changelog: mmkal/expect-type@0.18.0...0.19.0

v0.18.0

Compare Source

What's Changed

• Add .pick and .omit by @​aryaemami59 in #​51

New Contributors

• @​aryaemami59 made their first contribution in #​51

Full Changelog: mmkal/expect-type@v0.17.3...0.18.0

v0.17.3

Compare Source

• docs: why-is-my-assertion-failing 907b8aa
• I think the previous build was out of date somehow too, so see https://github.com/mmkal/expect-type/releases/v0.17.2

v0.17.2

Compare Source

• Improve tuple errors (#​40) 4b38117

Diff(truncated - scroll right!):

test('toEqualTypeOf with tuples', () => {
  const assertion = `expectTypeOf<[[number], [1], []]>().toEqualTypeOf<[[number], [2], []]>()`
  expect(tsErrors(assertion)).toMatchInlineSnapshot(`
-    "test/test.ts:999:999 - error TS2344: Type '[[number], [2], []]' does not satisfy the constraint '{ [x: number]: { [x: number]: number; [iterator]: (() => IterableIterator<1>) | (() => IterableIterator<number>) | (() => IterableIterator<never>); [unscopables]: (() => { copyWithin: boolean; entries: boolean; fill: boolean; find: boolean; findIndex: boolean; keys: boolean; values: boolean; }) | (() => { copyWithin: boolean; entries: boolean; fill: boolean; find: boolean; findIndex: boolean; keys: boolean; values: boolean; }) | (() => { copyWithin: boolean; entries: boolean; fill: boolean; find: boolean; findIndex: boolean; keys: boolean; values: boolean; }); length: 0 | 1; toString:  ... truncated!!!!'.
-      Types of property 'sort' are incompatible.
-        Type '(compareFn?: ((a: [] | [number] | [2], b: [] | [number] | [2]) => number) | undefined) => [[number], [2], []]' is not assignable to type '\\"Expected: function, Actual: function\\"'.
+    "test/test.ts:999:999 - error TS2344: Type '[[number], [2], []]' does not satisfy the constraint '{ 0: { 0: number; }; 1: { 0: \\"Expected: literal number: 2, Actual: literal number: 1\\"; }; 2: {}; }'.
+      The types of '1[0]' are incompatible between these types.
+        Type '2' is not assignable to type '\\"Expected: literal number: 2, Actual: literal number: 1\\"'.
    999 expectTypeOf<[[number], [1], []]>().toEqualTypeOf<[[number], [2], []]>()
                                                          ~~~~~~~~~~~~~~~~~~~"
  `)
})

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.