nightly: Array.concat doesn't accept any[]

[alexeagle]

TypeScript Version: nightly ( 2.1.0-dev.20160822)

Code

With --strictNullChecks

// A *self-contained* demonstration of the problem follows...

let arg: any[] = [""];
let rootNodesOrAppElements = [].concat(arg);

I get

 ./node_modules/.bin/tsc
t.ts(3,40): error TS2345: Argument of type 'any[]' is not assignable to parameter of type 'never[]'.
  Type 'any' is not assignable to type 'never'.

[alexeagle]

I binary searched the releases - this happens with typescript@1.9.0-dev.20160603-1.0 but not with typescript@1.9.0-dev.20160602-1.0

[mhegazy]

the problem is an empty array with no contextual type ([] in [].concat(arg)) is inferred as never[] under strictNullChecks. and never is not assignable from any other type.

([] as any[]).concat(arg); should do the trick

[alexeagle]

thanks!

[evmar]

Out of curiosity, do we think this is desirable behavior? I feel like [].concat is a fairly standard JS idiom.

[mhegazy]

The issue is what is the element type of [] if there is no contextual type? undefined seems reasonable since there is not a better source of information available. This works in in non strict null checks mode because undefined is in the domain of all types, and gets widened to any. in stictNullChecks it does not, since undefined is not any other type except undefined; and in that sense, never is a better name for this condition. so it is not never that is the issue.

[zheeeng]

@mhegazy I usually use concat to convert a single element or emblems array to array shape, e.g.:

function makeList<T> (singleOrArray: T | Array<T>): Array<T> {
    return ([] as Array<T>).concat(singleOrArray)
}

as @evmar said, using literal [] is a fairly common usage. Maybe less rescrtictions on assert its type will be better.