Union types not correctly handled in array.map

TypeScript Version: playground / 3..3.333

Search Terms:
union type, array map

Code

function flattenStringArrays(values: string | string[] | string[][]): string{

    if (Array.isArray(values)) {
        return values.map(value => flattenStringArrays(value)).join("");
    } else {
        return values;
    }
}

Expected behavior:
here the value in the map expression should be of type string[] | string[][]

Actual behavior:
Compilation error thrown:

Cannot invoke an expression whose type lacks a call signature. Type '((callbackfn: (value: string, index: number, array: string[]) => U, thisArg?: any) => U[]) | ((callbackfn: (value: string[], index: number, array: string[][]) =>
U, thisArg?: any) => U[])' has no compatible call signatures.

Playground Link:
link

Related Issues:

This is a workaround for the issue:

function flattenStringArrays(values: string | (string | string[])[]): string{

    if (Array.isArray(values)) {
        return values.map(value => flattenStringArrays(value)).join("");
    } else {
        return values;
    }
}

link

This is a design limitation because it's trying to combine two generic union signatures. See these comments

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

Here's a workaround:

/** Type workaround for https://github.com/Microsoft/TypeScript/issues/7294#issuecomment-465794460 */
type ArrayElem<A> = A extends Array<infer Elem> ? Elem : never

export function elemT<T>(array: T): Array<ArrayElem<T>> {
  return array as any
}

Example usage:

type A = { x: number, y: string }
type B = { x: number, z: string }
type Subject = A[] | B[]

function foo (items: Subject) {
  // items.map(item => item.x) // Type error
  elemT(items).map(item => item.x) // Works!
}

Daniel Rosenwasser (@DanielRosenwasser)

This is still an ongoing issue.
Daniel Rosenwasser (@DanielRosenwasser) What issue does this duplicate?

Navigation Menu

Repository navigation

Union types not correctly handled in array.map #30271

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Union types not correctly handled in array.map #30271

Description

Activity

Roaders commented on Mar 8, 2019

jack-williams commented on Mar 8, 2019

typescript-bot commented on Mar 11, 2019

gilbert commented on Mar 25, 2019

Robula commented on Dec 14, 2020

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions