Skip to content

fix(eslint-plugin): [prefer-reduce-type-parameter] don't report cases in which the fix results in a type error #10494

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Conversation

ronami
Copy link
Member

@ronami ronami commented Dec 13, 2024

PR Checklist

Overview

This PR tackles #3440 and makes the rule skip cases where the type assertion is necessary and auto-fixing to using reduce()'s type parameter will result in a type error.

Alternatively, as code that does this isn't exactly safe, the rule can still report such cases but use a suggestion instead of an auto-fix (although no-unsafe-type-assertion will report the assertion as unsafe).

@typescript-eslint
Copy link
Contributor

Thanks for the PR, @ronami!

typescript-eslint is a 100% community driven project, and we are incredibly grateful that you are contributing to that community.

The core maintainers work on this in their personal time, so please understand that it may not be possible for them to review your work immediately.

Thanks again!


🙏 Please, if you or your company is finding typescript-eslint valuable, help us sustain the project by sponsoring it transparently on https://opencollective.com/typescript-eslint.

Copy link

netlify bot commented Dec 13, 2024

Deploy Preview for typescript-eslint ready!

Name Link
🔨 Latest commit 906407e
🔍 Latest deploy log https://app.netlify.com/sites/typescript-eslint/deploys/675c55d858155b00089667d8
😎 Deploy Preview https://deploy-preview-10494--typescript-eslint.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.
Lighthouse
Lighthouse
1 paths audited
Performance: 99 (🟢 up 1 from production)
Accessibility: 100 (no change from production)
Best Practices: 92 (no change from production)
SEO: 98 (no change from production)
PWA: 80 (no change from production)
View the detailed breakdown and full score reports

To edit notification comments on pull requests, go to your Netlify site configuration.

Copy link

nx-cloud bot commented Dec 13, 2024

☁️ Nx Cloud Report

CI is running/has finished running commands for commit 906407e. As they complete they will appear below. Click to see the status, the terminal output, and the build insights.

📂 See all runs for this CI Pipeline Execution


✅ Successfully ran 2 targets

Sent with 💌 from NxCloud.

Comment on lines +83 to +91
function f<T extends Record<string, boolean>>() {
['a', 'b'].reduce(
(accum, name) => ({
...accum,
[name]: true,
}),
{} as T,
);
}
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This was a missing edge case in #10453.

Comment on lines +72 to +78
['a', 'b'].reduce(
(accum, name) => ({
...accum,
[name]: true,
}),
{ a: true, b: false, c: true } as Record<'a' | 'b', boolean>,
);
Copy link
Member Author

@ronami ronami Dec 13, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm not sure if it's necessary to cover this, but it's somewhat of an edge case with TypeScript's assignability.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Heh, yeah, I say let's cover it.

Copy link

codecov bot commented Dec 13, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 86.78%. Comparing base (a383d50) to head (505f513).

Current head 505f513 differs from pull request most recent head 906407e

Please upload reports for the commit 906407e to get more accurate results.

Additional details and impacted files
@@           Coverage Diff           @@
##             main   #10494   +/-   ##
=======================================
  Coverage   86.78%   86.78%           
=======================================
  Files         445      445           
  Lines       15356    15363    +7     
  Branches     4472     4474    +2     
=======================================
+ Hits        13326    13333    +7     
  Misses       1675     1675           
  Partials      355      355           
Flag Coverage Δ
unittest 86.78% <100.00%> (+<0.01%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Files with missing lines Coverage Δ
...t-plugin/src/rules/prefer-reduce-type-parameter.ts 100.00% <100.00%> (ø)

@ronami ronami marked this pull request as ready for review December 13, 2024 10:01
@ronami ronami marked this pull request as draft December 13, 2024 10:01
}
`,
`
['a', 'b'].reduce((accum, name) => \`\${accum} | hello \${name}!\`);
Copy link
Member Author

@ronami ronami Dec 13, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This isn't directly related to the change, but it was previously missing coverage, and because it is on its own line now, it fails codecov.

@ronami ronami marked this pull request as ready for review December 13, 2024 10:29
Copy link
Member

@JoshuaKGoldberg JoshuaKGoldberg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

YES FINALLY!!!!

Steve Buscemi in a brown messy wig saying "Whew!" and shaking/vibrating his head

@JoshuaKGoldberg JoshuaKGoldberg added the 1 approval >=1 team member has approved this PR; we're now leaving it open for more reviews before we merge label Dec 14, 2024
@JoshuaKGoldberg JoshuaKGoldberg merged commit ba39dde into typescript-eslint:main Dec 21, 2024
62 checks passed
@ronami ronami deleted the prefer-reduce-type-parameter-unfixable-reporting branch December 21, 2024 14:09
renovate bot added a commit to andrei-picus-tink/auto-renovate that referenced this pull request Dec 23, 2024
| datasource | package                          | from   | to     |
| ---------- | -------------------------------- | ------ | ------ |
| npm        | @typescript-eslint/eslint-plugin | 8.18.1 | 8.18.2 |
| npm        | @typescript-eslint/parser        | 8.18.1 | 8.18.2 |


## [v8.18.2](https://github.com/typescript-eslint/typescript-eslint/blob/HEAD/packages/eslint-plugin/CHANGELOG.md#8182-2024-12-23)

##### 🩹 Fixes

-   **eslint-plugin:** \[no-unnecessary-condition] handle noUncheckedIndexedAccess true ([#10514](typescript-eslint/typescript-eslint#10514))
-   **eslint-plugin:** \[consistent-type-assertions] allow default assertionStyle option ([#10512](typescript-eslint/typescript-eslint#10512))
-   **eslint-plugin:** \[no-unnecessary-type-arguments] handle type/value context ([#10503](typescript-eslint/typescript-eslint#10503))
-   **eslint-plugin:** \[no-unsafe-type-assertion] fix for unsafe assertion to a constrained type parameter ([#10461](typescript-eslint/typescript-eslint#10461))
-   **eslint-plugin:** \[consistent-indexed-object-style] use a suggestion over an auto-fix if can't reliably determine that produced index signature is valid ([#10490](typescript-eslint/typescript-eslint#10490))
-   **eslint-plugin:** \[no-unnecessary-condition] don't flag values of an unconstrained or valid type parameter ([#10473](typescript-eslint/typescript-eslint#10473))
-   **eslint-plugin:** \[prefer-reduce-type-parameter] don't report cases in which the fix results in a type error ([#10494](typescript-eslint/typescript-eslint#10494))
-   **eslint-plugin:** \[no-deprecated] not reporting usages of deprecated declared constants as object value ([#10498](typescript-eslint/typescript-eslint#10498))

##### ❤️ Thank You

-   Luke Deen Taylor [@controversial](https://github.com/controversial)
-   Ronen Amiel
-   Scott O'Hara
-   YeonJuan [@yeonjuan](https://github.com/yeonjuan)
-   Yukihiro Hasegawa [@y-hsgw](https://github.com/y-hsgw)

You can read about our [versioning strategy](https://main--typescript-eslint.netlify.app/users/versioning) and [releases](https://main--typescript-eslint.netlify.app/users/releases) on our website.
renovate bot added a commit to mmkal/eslint-plugin-mmkal that referenced this pull request Dec 23, 2024
##### [v8.18.2](https://github.com/typescript-eslint/typescript-eslint/blob/HEAD/packages/eslint-plugin/CHANGELOG.md#8182-2024-12-23)

##### 🩹 Fixes

-   **eslint-plugin:** \[no-unnecessary-condition] handle noUncheckedIndexedAccess true ([#10514](typescript-eslint/typescript-eslint#10514))
-   **eslint-plugin:** \[consistent-type-assertions] allow default assertionStyle option ([#10512](typescript-eslint/typescript-eslint#10512))
-   **eslint-plugin:** \[no-unnecessary-type-arguments] handle type/value context ([#10503](typescript-eslint/typescript-eslint#10503))
-   **eslint-plugin:** \[no-unsafe-type-assertion] fix for unsafe assertion to a constrained type parameter ([#10461](typescript-eslint/typescript-eslint#10461))
-   **eslint-plugin:** \[consistent-indexed-object-style] use a suggestion over an auto-fix if can't reliably determine that produced index signature is valid ([#10490](typescript-eslint/typescript-eslint#10490))
-   **eslint-plugin:** \[no-unnecessary-condition] don't flag values of an unconstrained or valid type parameter ([#10473](typescript-eslint/typescript-eslint#10473))
-   **eslint-plugin:** \[prefer-reduce-type-parameter] don't report cases in which the fix results in a type error ([#10494](typescript-eslint/typescript-eslint#10494))
-   **eslint-plugin:** \[no-deprecated] not reporting usages of deprecated declared constants as object value ([#10498](typescript-eslint/typescript-eslint#10498))

##### ❤️ Thank You

-   Luke Deen Taylor [@controversial](https://github.com/controversial)
-   Ronen Amiel
-   Scott O'Hara
-   YeonJuan [@yeonjuan](https://github.com/yeonjuan)
-   Yukihiro Hasegawa [@y-hsgw](https://github.com/y-hsgw)

You can read about our [versioning strategy](https://main--typescript-eslint.netlify.app/users/versioning) and [releases](https://main--typescript-eslint.netlify.app/users/releases) on our website.
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 30, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
1 approval >=1 team member has approved this PR; we're now leaving it open for more reviews before we merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Bug: [prefer-reduce-type-parameter] unfixable reporting
2 participants