Skip to content

Update the index of Result to make the summary more comprehensive - #138968

Merged
bors merged 7 commits into
rust-lang:masterfrom
Natural-selection1:update-Result-doc
Apr 25, 2025
Merged

Update the index of Result to make the summary more comprehensive#138968
bors merged 7 commits into
rust-lang:masterfrom
Natural-selection1:update-Result-doc

Conversation

@Natural-selection1

Copy link
Copy Markdown
Contributor

fix #138966

This PR and #138957 are twin PR

r? @Amanieu

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-libs Relevant to the library team, which will review and decide on the PR/issue. labels Mar 26, 2025
Comment thread library/core/src/result.rs Outdated
Comment thread library/core/src/result.rs Outdated
Comment thread library/core/src/result.rs Outdated
Comment thread library/core/src/result.rs Outdated
@rust-log-analyzer

This comment has been minimized.

Comment thread library/core/src/result.rs Outdated
@Amanieu

Amanieu commented Apr 25, 2025

Copy link
Copy Markdown
Member

@bors r+ rollup

@bors

bors commented Apr 25, 2025

Copy link
Copy Markdown
Collaborator

📌 Commit cdc7298 has been approved by Amanieu

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 25, 2025
@bors
bors merged commit a353796 into rust-lang:master Apr 25, 2025
@rustbot rustbot added this to the 1.88.0 milestone Apr 25, 2025
@Natural-selection1
Natural-selection1 deleted the update-Result-doc branch April 26, 2025 00:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-libs Relevant to the library team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

The Index of Result is outdated as it's missing some functions

5 participants