为什么允许泛型函数被调用而不创建变量

Question

TypeScript允许调用c，但不能在d函数中创建变量。 为什么？

function c<R extends { x: number; y: string; }>(ar : R ) {
}
c({ x: 1, y: "" });

function d<R extends { x: number; y: string; }>() {
    const r: R = { x: 1, y: "" }; // Error
}

Playground link