Repository navigation
discriminated union type narrow when destructuring object within desturct arrayΒ #55664
Description
π Search Terms
destructuring object within destructured array, discriminated union
π Version & Regression Information
the error part appeared in every version I tried
β― Playground Link
π» Code
type FirstItem = {
type: 'first'
value: string
}
type SecondItem = {
type: 'second'
value: number
}
type ThirdItem = {
type: 'third'
value: boolean
}
const a: (FirstItem | SecondItem | ThirdItem)[] = []
// test 1
a.forEach(({ type, value }) => {
if (type === 'first') {
// ok: string
console.log(value)
}
})
// test 2
for (const { type, value } of a) {
if (type === 'first') {
// ok: string
console.log(value)
}
}
const b: [ FirstItem | SecondItem | ThirdItem ][] = []
// test 3
for (const [ v ] of b) {
if (v.type === 'first') {
// ok
console.log(v.value)
}
}
// test 4
b.forEach(([{ type, value }]) => {
if (type === 'first') {
// not ok: string | number | boolean
console.log(value)
}
})
// test 5
for (const [ { type, value } ] of b) {
if (type === 'first') {
// not ok: string | number | boolean
console.log(value)
}
}π Actual behavior
the code above, test4 and test5 can not narrow to the string type like test1, test2 or test3
π Expected behavior
I expected the value in the loop to infer successfully
Additional information about the issue
No response
Reacted by Kongpon Charanwattanakit
Activity
jcalz commentedon Sep 7, 2023
Please edit the title to use the term "destructuring" instead of "desturcting" so that title searches can find it.
Looks like a missing feature as opposed to a bug, since #46266 only operates if the thing being destructured is a discriminated union, and
[ FirstItem | SecondItem | ThirdItem ][]is not a discriminated union.#46266 (comment)
[-]discriminated union type narrow when desturcting object within desturct array[/-][+]discriminated union type narrow when destructuring object within desturct array[/+]wusiquan commentedon Sep 7, 2023
Joe Calzaretta (@jcalz) thank you. I agree this is more than a missing feature, after reading the linked issue. Type
[ FirstItem | SecondItem | ThirdItem ], the first item of the array type, is a discriminated union, but it is nested. Destructuring the nested object(array) all at once or in a seperate way, when usingforEachandfor...of, the results are not the same. It seems a little complex.kykungz commentedon Oct 17, 2023
Related use case: TanStack/query#6162
mattfbacon commentedon Apr 9, 2024
Is this the same issue?