Skip to content

IndexMap: rebuild indices after truncate#675

Merged
sgued merged 1 commit into
rust-embedded:mainfrom
sgued:indexmap-truncate
Jul 24, 2026
Merged

IndexMap: rebuild indices after truncate#675
sgued merged 1 commit into
rust-embedded:mainfrom
sgued:indexmap-truncate

Conversation

@sgued

@sgued sgued commented Jul 24, 2026

Copy link
Copy Markdown
Contributor

This missing operation after truncate left the map in an inconsistent state The logic is kept the same as for retain
Closes #674

This missing operation after truncate left the map in an inconsistent state
The logic is kept the same as for `retain`
See rust-embedded#674
@sgued
sgued requested a review from zeenix July 24, 2026 10:45
@sgued

sgued commented Jul 24, 2026

Copy link
Copy Markdown
Contributor Author

Note that this will conflict with #673

@zeenix

zeenix commented Jul 24, 2026

Copy link
Copy Markdown
Contributor

Note that this will conflict with #673

Oops, sorry I had missed that one. Conflict as it, one of these will need to be rebased once one for them is merged?

@sgued

sgued commented Jul 24, 2026

Copy link
Copy Markdown
Contributor Author

Yes I mean just git conflict. It should be straightforward to fix but will require a re-review after that.

@zeenix zeenix left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM.

@sgued
sgued added this pull request to the merge queue Jul 24, 2026
Merged via the queue into rust-embedded:main with commit 5d599e1 Jul 24, 2026
21 checks passed
@sgued
sgued deleted the indexmap-truncate branch July 24, 2026 12: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.

IndexMap::truncate leaves the map in an inconsistent state.

2 participants