How can I change this code to make "theNumber" be of type numer and "theString" be of type string?

[remote bone]

hornta#4659

Playground Link

Preview:```ts
const myNum = 123
const myString = "abc"

const myVars = {
nums: [myNum],
strs: [myString],
}

type MyVarsKey = keyof typeof myVars

const func = <K extends keyof typeof myVars>(
key: K,
index: number
) => {
return myVars[key][index]
}

const theNumber = func("nums", 0)
...```

You can choose specific lines to embed by selecting them before copying the link.

[lament mason]

ChatGPT gave me this which works so I'm going with that: https://www.typescriptlang.org/play?#code/MYewdgzgLgBAtgTwHIFc4wLwwIwCYDMA3AFCiSyIDKUATgJZgDmmMARAIYBGwrxp40eAgBq7GhBYBvYjBhg0EAFwwA2olRwAugBoZMaOOVqE1ek03EAvnygIADgFMYAWRFiIAaQcIWAa28gAGYwto5BQqLiJPzkMIEoYMAsADweMA4AHlAOYAAmEv4I4aEO4YiREAB8ABSFyh7aMAy5mYrycJwONACUmJUw0rI0DlAoNGAR7iqFmirNmZow7BLVJWVu4t0qHrPtnTSaJNYxglAAFg4a+yzxidWs7RCsjQAM3Sew5w6mDMxYt8B7gYnq9ukA

[craggy escarp]

@lament mason Instead of a cast, an annotation is safer