扩展具有泛型类型的函数args

Question

在下面的示例中，您好，我不清楚为什么在不附加包含foo属性的泛型传递给foo的附加参数的情况下，编译器没有抱怨？这是预期的行为吗？

理想情况下，我只允许将其他参数作为泛型传递给函数调用时，这可能吗？

type Props<ExtraArgs> = {
    isOpen: boolean
} & ExtraArgs


const myFunc = <ExtraArgs>(props: Props<ExtraArgs>) => { }


myFunc({ isOpen: true, foo: 'xxx' })

// ☝? Im not passing <ExtraArgs> as a generic containing { foo: string } so why isnt the compiler complaining about the extra arg?

这是TS游乐场中同一个示例的link