Enhancement: [switch-exhaustiveness-check] prevents use of switch statement with non-unions types #11859
Description
Before You File a Proposal Please Confirm You Have Done The Following...
- I have searched for related issues and found none that match my proposal.
- I have searched the current rule list and found no rules that match my proposal.
- I have read the FAQ and my problem is not listed.
My proposal is suitable for this project
- I believe my proposal would be useful to the broader TypeScript community (meaning it is not a niche proposal).
Link to the rule's documentation
https://typescript-eslint.io/rules/switch-exhaustiveness-check/
Description
option: disableSwitchForNonUnion: boolean
I think it makes sense to add an option to disable switch for "infinite" types:
const value: number = Math.floor(Math.random() * 3);
switch (value) {
case 0:
break;
case 1:
break;
}Because if they exist, it's a reason to review this piece of code or explicitly flag it by disabling the rule in a comment, to highlight that an "infinite" type check is in (// eslint-disable-next-line @typescript-eslint/switch-exhaustiveness-check)
Fail
const value: number = Math.floor(Math.random() * 3);
switch (value) {
case 0:
break;
case 1:
break;
}Pass
const value: number = Math.floor(Math.random() * 3);
// eslint-disable-next-line @typescript-eslint/switch-exhaustiveness-check
switch (value) {
case 0:
break;
case 1:
break;
}or
const value = Math.floor(Math.random() * 3) as 0 | 1 | 2;
switch (value) {
case 0:
break;
case 1:
break;
case 2:
break;
}Additional Info
No response