When inferring the type of Object.values, optional properties are not considered

[brestmoor]

🔎 Search Terms

"Object.keys Record", "record with field"

🕗 Version & Regression Information

• This is the behavior in every version I tried

⏯ Playground Link

https://www.typescriptlang.org/play/?ssl=7&ssc=20&pln=1&pc=1#code/C4TwDgpgBAglC8UBKEDGB7ATgEwDwGdhMBLAOwHMAaKQkigPigDIoBvUgQwFsIB+ALhpEy5AL4AocRlKEoHQXESsJHAHSceCKAFdS2CADMyEbFPQzgUAG4cANtoj4tAeQBGAKzTBVN+44AUHACU4gD0ob4OTqCQUMROtCIA2gC6UADuABYQpHG5BhyolsSW0sAcZE4A5Lr6RqQmVWYy6LYQqrbo5P6RjkFAA

💻 Code

type A = Record<string, string> & {name?: string}

const a: A = {}
a.name = undefined
const values = Object.values(a)
//values type is string[] when in fact it contains 'undefined'
console.log(values)

🙁 Actual behavior

The type does not reflect the reality, the type of values is string[] where in fact the array can contain undefined

🙂 Expected behavior

I expect typescript to infer the type to be (string | undefined)[]

Additional information about the issue

No response

[MartinJohns]

#44494

[typescript-bot]

This issue has been marked as "Duplicate" and has seen no recent activity. It has been automatically closed for house-keeping purposes.