Positive and negative assertions about TypeScript types and errors - View it on GitHub