TypeScript多余属性检查调试优化：快速定位不兼容属性的方案咨询

我最近参照「给传入TypeScript函数的变量强制开启多余属性检查」的思路，给变量实现了类似的多余属性检查逻辑，代码能正常工作，但调试起来实在太耗时了。

先贴一下我的实现代码：

type ValidateShape<Request, Shape> = Request extends Shape 
  ? Exclude<keyof Request, keyof Shape> extends never 
    ? Request 
    : never 
  : never;

interface Foo {
  id: number;
  name: string;
}

interface Bar {
  id: number;
  name: string;
  other: boolean;
}

function doIt<Request>(request: ValidateShape<Request, Foo>): void {
  console.log(request.id, request.name);
}

const request: Bar = { id: 1, name: 'Bob', other: true };
doIt(request); // 报错提示：Argument of type 'Bar' is not assignable to parameter of type 'never'.

现在遇到的麻烦是，这个报错信息完全没说清楚到底是哪些属性不兼容。像示例里的other属性一眼就能看出来，但如果碰到有40个属性的复杂类型，再加上泛型的嵌套，就彻底懵了。甚至在VSCode里查看类型详情时，只会显示部分属性，后面直接跟着/* 20 more */的省略标记，根本看不到完整信息。

想请教各位大佬，有没有比手动逐个核对属性更快的方法，能直接定位到那些不符合要求的多余属性？

内容来源于stack exchange