[求助] typescript 的嵌套类型检查问题

如下面的代码所示，我声明了一个名为 Test 类型，其中一个 key 为 abc 的 value 类型为 ABC 。
[问题]
Typescript 只会检查 Test.abc 里面的 key 类型是否正确，以及是否缺少 key ，但不会检查是否有多余的 key 。
为啥会出现这种情况？以及如何解决嵌套类型验证的问题？

// 声明一个名为 ABC 的类型
export type ABC = {
  a: string;
  b: number;
  c: string;
};

// 声明一个名为 Test 类型，其中一个 key 为 abc 的 value 类型为 ABC
export type Test = {
  a: string;
  b: number;
  c: string;
  abc: ABC;
};

// 对象 abc
const abc: ABC = {
  a: 'aaa',
  b: 111,
  c: 'ccc',
};

// 对象 abcd
const abcd = {
  a: 'aaa',
  b: 111,
  c: 'ccc',
  d: 'ddd',
};

// 对象 ab
const ab = {
  a: 'aaa',
  b: 111,
};

// 对象 abc 通过类型检查
const test_1: Test = {
  a: 'aaa',
  b: 111,
  c: 'ccc',
  abc: abc,
};
console.log(test_1);

// 对象 abcd 通过类型检查
const test_2: Test = {
  a: 'aaa',
  b: 111,
  c: 'ccc',
  abc: abcd,
};
console.log(test_2);

// 对象 ab 没有通过类型检查
const test_3: Test = {
  a: 'aaa',
  b: 111,
  c: 'ccc',
  abc: ab,
};
console.log(test_3);