Skip to content

Document with_added_extension edge cases#158051

Open
Timmmm wants to merge 1 commit into
rust-lang:mainfrom
Timmmm:patch-1
Open

Document with_added_extension edge cases#158051
Timmmm wants to merge 1 commit into
rust-lang:mainfrom
Timmmm:patch-1

Conversation

@Timmmm

@Timmmm Timmmm commented Jun 17, 2026

Copy link
Copy Markdown
Contributor

Clarified how with_added_extension deals with the return value from add_extension. I added some "interesting" examples to illustrate.

IMO this function should have returned Result but unfortunately the discussion about that was kind of ignored. :-/ We can at least document it well.

No AI was used to make this change.

Clarified how `with_added_extension` deals with the return value from `add_extension`. I added some "interesting" examples to illustrate.
@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 Jun 17, 2026
@rustbot

rustbot commented Jun 17, 2026

Copy link
Copy Markdown
Collaborator

r? @jhpratt

rustbot has assigned @jhpratt.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: @ChrisDenton, libs
  • @ChrisDenton, libs expanded to 12 candidates
  • Random selection from 6 candidates

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants