Merging objects by spreading 2 objects infers wrong type

[zanminkian]

🔎 Search Terms

spread object as const record

🕗 Version & Regression Information

• This is the behavior in every version I tried.

⏯ Playground Link

No response

💻 Code

const x = {'foo': 'bar'} as const
const y: Record<string, string|boolean> = {'foo': true}
const z = {...x, ...y}

🙁 Actual behavior

Type of z is {'foo':'bar'}

🙂 Expected behavior

Type of z should be Record<string, string|boolean> or {'foo':'bar'}&Record<string, string|boolean>

Additional information about the issue

No response

[MartinJohns]

Duplicate of #27273.