typescript 装饰器中的内部参数

Question

下面是一个创建装饰器decorate并将其应用于 class 成员的示例程序。 decorate装饰器旨在接受与 class 成员相同的参数。 但是，该程序可以编译，因为我已将装饰器的T泛型强制推断为any 。

我正在寻找一种将 arguments 正确推断为装饰器 function 并使编译失败的方法，因为doesNotExist不是该方法的第一个参数的有效成员。

function decorate<T extends (...args:any) => any>(fn: (...args: Parameters<T>) => void) {
    return (target: any, propertyName: string, descriptor: TypedPropertyDescriptor<any>) => {
        descriptor.value = function (...args: Parameters<T>) { fn(...args) }
        return descriptor;
    }
}

class Foo {
    // arg should be inferred to { qux: string } and compilation should fail
    @decorate(arg => {
        console.log(arg.doesNotExist);
    })
    bar(baz: { qux: string }) {
        console.log('orig');
    }
}