如何在推断值的同时约束TypeScript对象的键？

function getProperty<T, K extends keyof T>(obj: T, key: K): T[K] {
  return obj[key];
}

const user = { id: 1, name: 'John' };

const id = getProperty(user, 'id'); // 推断为 number 类型
const name = getProperty(user, 'name'); // 推断为 string 类型
const age = getProperty(user, 'age'); // 编译错误，age 不是 user 对象的键

type ObjectWithKeyAndValue<T, K extends keyof T, V> = K extends keyof T ? Record<K, V> : never;

function createObjectWithKeyAndValue<T, K extends keyof T, V>(obj: T, key: K, value: V): ObjectWithKeyAndValue<T, K, V> {
  return { [key]: value } as ObjectWithKeyAndValue<T, K, V>;
}

const user = { id: 1, name: 'John' };

const updatedUser = createObjectWithKeyAndValue(user, 'id', 2); // 返回 { id: 2 }
const newUser = createObjectWithKeyAndValue(user, 'age', 25); // 编译错误，age 不是 user 对象的键