Overlooks arbitrary value for type asserted property (in object spread)

[wclr]

Bug Report

🔎 Search Terms

Checked for 4.5, and latest 4.6-beta

🕗 Version & Regression Information

⏯ Playground Link

Playground link with relevant code

💻 Code

type Obj = {
  from: string
  to: string
}

type Dir = "from" | "to"

const dir: Dir = "to" as Dir
// the same for:
// declare const dir: Dir


declare const obj: Obj

const m: Obj = {
  ...obj,
  [dir]: 1, // no error, but should be
}

// this is working as expcted:
const dir2: Dir = "to"


const m2: Obj = {
  ...obj,
  [dir2]: 1, // error as should be
}

🙁 Actual behavior

Should not allow arbitrary value.

🙂 Expected behavior

Overlooks arbitrary value for type asserted property in object spread.

[MartinJohns]

This sounds very much like #32236.

[wclr]

Yes, seems it is the same, wonder why it is not fixed since 2019, this creates not pleasant cases when such a prop comes from fn arguments.

[typescript-bot]

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