Ideas for making TypeScript better at testing types

In this blog post, we examine how we can test types in TypeScript:

• First, we look at the library asserttt and the CLI tool ts-expect-error.
• Then, we consider which functionality could be built into TypeScript.