打字稿非歧视性联合允许联合双方的财产

Question

给出以下内容：

type TestUnion = { a: true } | { b: true };
const shouldFail: TestUnion = { a: true, b: true };

我希望shouldFail会出现编译错误，因为它与联合的任何一方都不匹配。但是，这样编译就可以了。 （打字稿3.5.1）

我对工会类型的工作方式有误解吗？