Verify if a tuple is a valid key value pair for a given schema

[Robstei]

I am trying to verify if a given tuple of two strings is a valid key-value pair for a given schema.

sandbox

I created the type in TypeScript but multiple ways that I tried did not work:

• using keyof to validate the potential key and accessing the schema from schmema.shape
• using a union type (I found no way to make the second value depend on the first value)ipt

import { z } from "zod";

const User = z.object({
  name: z.enum(["markus", "Jenny"]),
  role: z.enum(["admin", "user"]),
});

type User = z.infer<typeof User>;

// Type I want to achive
type ValidTupleType = {
  [K in keyof User]: [K, User[K]];
}[keyof User];

const tuple: ValidTupleType = ["name", "markus"];

const tupleToTest: [string, string] = ["name", "markus"];


const parsedTuple:ValidTupleType = ???

Is this possible?

Thanks to everyone who is willing to help