Skip to content

Fix deprecated_in_future lint#877

Merged
Philippe-Cholet merged 2 commits into
rust-itertools:masterfrom
Philippe-Cholet:deprecated
Feb 13, 2024
Merged

Fix deprecated_in_future lint#877
Philippe-Cholet merged 2 commits into
rust-itertools:masterfrom
Philippe-Cholet:deprecated

Conversation

@Philippe-Cholet
Copy link
Copy Markdown
Member

@Philippe-Cholet Philippe-Cholet commented Feb 13, 2024

I was wondering if we should remove some deprecated parts when I encountered the lint deprecated_in_future.

usize::MAX is stable since 1.43.0. Our MSRV is 1.43.1 so this is fine and the module std::usize and usize::max_value both say "Deprecating in a future version" so I remove those.

@Philippe-Cholet Philippe-Cholet added this to the next milestone Feb 13, 2024
@codecov
Copy link
Copy Markdown

codecov Bot commented Feb 13, 2024

Codecov Report

Attention: 2 lines in your changes are missing coverage. Please review.

Comparison is base (6814180) 94.38% compared to head (c84709e) 94.30%.
Report is 8 commits behind head on master.

Files Patch % Lines
src/sources.rs 33.33% 2 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master     #877      +/-   ##
==========================================
- Coverage   94.38%   94.30%   -0.09%     
==========================================
  Files          48       48              
  Lines        6665     6672       +7     
==========================================
+ Hits         6291     6292       +1     
- Misses        374      380       +6     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@Philippe-Cholet Philippe-Cholet changed the title Deprecated in future: use usize::MAX instead Fix deprecated_in_future lint Feb 13, 2024
@Philippe-Cholet Philippe-Cholet added this pull request to the merge queue Feb 13, 2024
Merged via the queue into rust-itertools:master with commit 762643f Feb 13, 2024
@Philippe-Cholet Philippe-Cholet deleted the deprecated branch February 13, 2024 13:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants