typescript - 是否有一种标准方法可以自动测试 typescript 编译时结构（如映射类型）？

Question

假设我们正在尝试实现Pick 映射类型：

type Pick<T, K extends keyof T> = {
    [P in K]: T[P];
};

我们应该期望由此构建的任何类型都符合一些打字稿编译时检查。有没有办法测试它？使用测试框架还是其他方式？

type Foo = { foo: string, bar: string };
type TestType = Pick<Foo, 'foo'>;

// expect this to fail at compile time because of property 'bar'
let foo: TestType = { foo: 'foo', bar: 'bar' };

标签： typescriptunit-testingtestingautomated-testsmapped-types