expectType fails for two identical types that are differently implemented

[maximzavadskiy]

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

[maximzavadskiy]

import {Equals} from "tsafe" works as expected