Before You File a Bug Report Please Confirm You Have Done The Following...

• I have tried restarting my IDE and the issue persists.
• I have updated to the latest version of the packages.
• I have searched for related issues and found none that matched my issue.
• I have read the FAQ and my problem is not listed.

Relevant Package

typescript-estree

Playground Link

https://www.typescriptlang.org/play?#code/JYWwDg9gTgLgBAbzgFQMoFFXKgUx3AXzgDMoIQ4ByAARgE8wcBnAYymDBgFpmAbYAHYwA9AFcYwXk0oBuALAAoRcVECWEiALi8IEMAHkAbjijpeOEDiFMAFAEMoUO3QBcKDFlw4AdAEFHzugAHmC4TEzAmgCUiIpwJNBwNiyaTPA45hQQxHAOTnTeGRZWMEwxCHHxcMLCcAASdgIAJuZwLHZMzNrAANb4KQJpuXAAvHAA2t5TAEYAuvIKVXDAOTZFIN70jKMjYwBEqKE4dk1mxUJ7MdO4dj0LSzVwTRBwTOQ4MAAWggDmCVBwL74HAhMIRTSVAiKKEKIA

Repro Code

import { TSESTree } from '@typescript-eslint/utils';

function loopOverElements(array: TSESTree.ArrayExpression) {
  for (const elem of array.elements) {
    // Handle cases like const a = [...b];
    if (elem.type === "SpreadElement") break;
    // do something for the expression
  }
}

ESLint Config

No response

tsconfig

No response

Expected Result

The elem variable should have a type of TSESTree.Expression | TSESTree.SpreadElement and the code above should typecheck.

Actual Result

The elem variable has a type of TSESTree.Expression and the code above doesn't typecheck because the type of elem.type doesn't intersect with "SpreadElement".

Additional Info

No response

Versions