TypeScript 联合类型和交叉类型

type A = {
    a: number,
    b: number
}
type B = {
    a: number
}

// 交叉类型, 需要满足A和B的并集
const D: A & B = {
    a: 1,
    b: 2
}

// 联合类型，需要满足A和B的交集
const E: A | B = {
    a: 1
}