Skip to content

Bug: [switch-exhaustiveness-check] invalid fix for union with infinite types #6682

Closed
@Josh-Cena

Description

@Josh-Cena

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.

Playground Link

https://typescript-eslint.io/play#ts=5.0.1-rc&sourceType=module&code=CYUwxgNghgTiAEYD2A7AzgF3lAXPARFPvAD4EBGxZKArgLbkgwDcAUK2gO4CWGYAFvAAUUAJTwA3q3iIoaBIXx5ycKAGs2MsHIWVlqjawC+rIA&eslintrc=N4KABGBEBOCuA2BTAzpAXGUEKQAIBcBPABxQGNoBLY-AWhXkoDt8B6ZAd0vzIAt6AHrwCGsZPkoA3RExTJafRGQDW6KImjQA9tEjgwAXxAGgA&tsconfig=N4KABGBEDGD2C2AHAlgGwKYCcDyiAuysAdgM6QBcYoEEkJemy0eAcgK6qoDCAFutAGsylBm3TgwAXxCSgA

Repro Code

declare const a: "a" | "b" | number;

switch (a) {
  case "a": break;
  case "b": break;
}

ESLint Config

module.exports = {
  "rules": {
    "@typescript-eslint/switch-exhaustiveness-check": "error"
  }
}

tsconfig

{
  "compilerOptions": {
    "strictNullChecks": true
  }
}

Expected Result

No error, no suggestion fixer, or suggestion to add a default case

Actual Result

Fixer produces case number:, which is invalid syntax.

Additional Info

I'm not sure what the best fix for this issue is, so I hope to get more discussion first.

Metadata

Metadata

Assignees

No one assigned

    Labels

    accepting prsGo ahead, send a pull request that resolves this issuebugSomething isn't workingpackage: eslint-pluginIssues related to @typescript-eslint/eslint-plugin

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions