Type Aware Assertion Functions and Type-Level Testing

Type-level assertions, enabled by the asserts keyword, have been a part of TypeScript for over five years, yet they aren't widely adopted.

In this talk, I'll try to make a case for the value of this feature and show how it can be easily leveraged.