chore: upgrade TSTyche

[mrazauskas]

Type

• Refactor
• Feature
• Bug Fix
• Optimization
• Documentation Update

Description

This PR upgrades TSTyche to version 4. (It is still in beta, because I plan to implement few more features and that will break programatic usage. Nothing breaking is planned for CLI usage.)

The highlight of TSTyche 4 are the ability matchers: .toBeCallableWith(), .toBeConstructableWith(), etc. Detailed release notes can be found here: https://tstyche.org/releases/tstyche-4

In this PR many // @ts-expect-error are replaced with .not.toBeCallableWith(). There are much more // @ts-expect-error still left around. I will handle them later. The idea was to show you what is possible and to ask for feedback. Also these tests were a great playground to try out new features.

How it Works?

Implementation of the ability matchers is somewhat similar to ts-blank-space. After retrieving diagnostics for a file, TSTyche creates a virtual copy of it with erased assertions and asks TypeScript for diagnostics again.

An assertion like this:

expect(Duration.decode).type.toBeCallableWith("10 unknown")

Becomes:

;     (Duration.decode)                      ("10 unknown")

Any found error are reported (or silenced if .not is included):

[changeset-bot]

⚠️ No Changeset found

Latest commit: 41dea9a

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[mrazauskas]

These now are enabled by default.

[gcanti]

This is awesome, thanks for working on this @mrazauskas

[mrazauskas]

I add the when() utility. As you see in this line, it is a helper that wraps an expression and allows calling it during the type test run. This allows passing expect() as an argument and test a callback as if it is an argument of the outer function.

Similar to .toBeCallableWith(), the implementation erases when(). The line above becomes:

;   (pipe)             ([1],       (Array.sort)                          (Order.string))

[mrazauskas]

@gcanti Could you take a look, please.

There are only 31 instances of // @ts-expect-error left. These are either not related with callability or too complex to be covered now. This change is large enough. Perhaps it is worth to land it and to iterate.

If beta is an issue, I am ready to publish rc.

[gcanti]

This change is large enough. Perhaps it is worth to land it and to iterate

agreed

If beta is an issue, I am ready to publish rc.

no problem, I'm fine with a beta, there's no rush, we are happy to help you out with the next release of tstyche

[mrazauskas]

Wonderful! Thanks so much.