是否可以在typescript中动态验证类型属性的类型？

type MyType = {
  name: string;
  age: number;
};

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

const myObj: MyType = {
  name: "Alice",
  age: 25,
};

const nameValue = getProperty(myObj, "name"); // nameValue 的类型为 string
const ageValue = getProperty(myObj, "age"); // ageValue 的类型为 number

type MyType = {
  name: string;
  age: number;
};

type ValidatePropertyType<T, K extends keyof T, V> = T[K] extends V ? true : false;

function isPropertyOfType<T, K extends keyof T, V>(obj: T, key: K, value: V): ValidatePropertyType<T, K, V> {
  return obj[key] === value ? true : false;
}

const myObj: MyType = {
  name: "Alice",
  age: 25,
};

const isNameOfTypeString = isPropertyOfType(myObj, "name", "Alice"); // isNameOfTypeString 的类型为 true
const isAgeOfTypeString = isPropertyOfType(myObj, "age", "25"); // isAgeOfTypeString 的类型为 false