Discussion on: Advanced TypeScript Exercises - Question 8

View post

Replies for: Hi David thank you for the answer. But your code doesn't make errors when it should, so there are no compile time guarantees. I put in the snippet ...

Ah, was just missing some brackets. :/

const concatToField =
  <T extends Record<string, any>,
    K extends keyof T & (T[K] extends string ? string : never)>(obj: T, key: K, payload: string): T => {
    const prop = obj[key]; // compile error should not be here
    return { ...obj, [key]: prop.concat(payload) }; // compile error should not be here
}

Playground