typescript 泛型与内置 Record 使用问题 ？

默认使用 Record 的例子内置 Record 会遍历 CatName 联合类型，每个字面量类型的值是 CatInfo 类型

interface CatInfo {
  age: number;
  breed: string;
}
type CatName = "miffy" | "boris" | "mordred";
const cats: Record<CatName, CatInfo> = {
  miffy: { age: 10, breed: "Persian" },
  boris: { age: 8, breed: "Maine Coon" },
  mordred: { age: 16, breed: "Brittish Shorthair" },
};

使用泛型的另一个例子在调用say函数时并没有传递泛型，ts会自动将泛型T设置为 string

function say<T>(arg: T) {
  console.log(arg)
}
say('abc')

请问在下面这个例子中为什么会自动将对象字面量的key和value拆开传递到 Record 中？我个人理解是使用函数的时候没有主动传递泛型，ts内部会使用函数调用时参数的值做为类型，但 Record 需要 2 个泛型，对象字面量只有一个类型，这块的运行机制是？

function fn<K extends keyof any, V>(o: Record<K, V>) {
  console.log(o);
}

fn({ name: "zhangsan", age: 666, address: { num: 1 } })

/*
function fn<"name" | "age" | "address", string | number | {
    num: number;
}>(o: Record<"name" | "age" | "address", string | number | {
    num: number;
}>): void
*/