如何为Typescript打字编写负面测试？

Question

我为Javascript项目的Typescript类型编写了一些测试用例.

积极的测试很简单; 只需输入一堆代码,它就应该编译.像这样:https://github.com/geon/reselect/blob/d5b46b80a28b08ceebc1f19e4300630a0dea751a/test/typings/should_compile/index.ts

该负测试是有点棘手.但有些事是不能编译,但我不能在同一个文件多次测试了,因为编译将只要一个测试用例是无效的失败.所以这不起作用:https://github.com/geon/reselect/blob/d5b46b80a28b08ceebc1f19e4300630a0dea751a/test/typings/should_not_compile/index.ts

如果所有文件都无法编译,我如何确保测试通过？

测试应该可以由Travis CI运行.(我没有经验.对不起.)