Fixes #39161 .

Example

code

function getArrayOrUndefined() {
  return Math.random() > 0.5 ? [] : undefined;
}

const result = [...getArrayOrUndefined()];

{
  "compilerOptions": {
    "target": "es5",
    "lib": ["es2015"],
    "strict": true,
    "downlevelIteration": true
  }
}

Current Behavior

(no compile error)

New Behavior

src/index.ts:5:20 - error TS2548: Type 'never[] | undefined' is not an array type or does not have a '[Symbol.iterator]()' method that returns an iterator.

5 const result = [...getArrayOrUndefined()];
                     ~~~~~~~~~~~~~~~~~~~~~


Found 1 error.

Details of Code Change

This PR adds a shouldIgnoreNonIterableUnionConstituent parameter to getIterationTypesOfIterable which, if false is specified, returns noIterationTypes whenever given union type includes a non-iterable constituent. Otherwise, non-iterable constituents are just ignored; for example, the yielded type of number[] | undefined is considered number.

I first considered making this the default behavior, but then one test failed (namely generatorYieldContextualType.ts). As the old behavior seemed kind of reasonable in some situations, I kept the change smaller by adding that parameter.