Retrieve key-value union entries from on object

entries.ts

type Entries<T> = {
  [P in keyof T]: { key: P; value: T[P] };
}[keyof T];

// -----------------------------------

interface Person {
  name: string;
  age: number;
}

declare const me: Person

type PersonEntries = Entries<Person>;

namespace V1 {
  function setPersonProperty(keyValue: PersonEntries, person: Person): Person {
    return { ...person, [keyValue.key]: keyValue.value };
  }

  setPersonProperty({ key: "age", value: 34 }, me);
  setPersonProperty({ key: "name", value: "Luca" }, me);

  setPersonProperty({ key: "name", value: 34 }, me);
  setPersonProperty({ key: "age", value: "Luca" }, me);
}

namespace V2 {
  function setPersonProperty<
    PEK extends PersonEntries["key"],
    PEV extends Extract<PersonEntries, { key: PEK }>["value"]
  >(key: PEK, value: PEV, person: Person): Person {
    return { ...person, [key]: value };
  }

  setPersonProperty("name", "Luca", me);
  setPersonProperty("age", 34, me);

  setPersonProperty("name", 34, me);
  setPersonProperty("age", "Luca", me);
}

namespace V3 {
  function setProperty<
    O extends {},
    OEK extends Entries<O>["key"],
    OEV extends Extract<Entries<O>, { key: OEK }>["value"]
  >(key: OEK, value: OEV, o: O): O {
    return { ...o, [key]: value };
  }

  setProperty("name", "Luca", me);
  setProperty("age", 34, me);

  setProperty("name", 34, me);
  setProperty("age", "Luca", me);
}


namespace V4 {

  function setProperty<O extends object, K extends keyof O, V extends O[K]>(key: K, value: V, o: O): O {
    return { ...o, [key]: value };
  }

  setProperty("name", "Luca", me);
  setProperty("age", 34, me);

  setProperty("name", 34, me);
  setProperty("age", "Luca", me);
}