```ts type typeA = {a: number} & {b: number} type typeB = {a: number; b: number} declare const b:typeB expectType<typeA>(b) // ERR! but expected to pass ``` With this behaviour more complex types/types that are computed cannot be checked via `tsd`