Skip to content

[do not merge] rustc-dev-guide subtree update #143421

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

Closed
wants to merge 20 commits into from

Conversation

Kobzol
Copy link
Member

@Kobzol Kobzol commented Jul 4, 2025

Opening to cross-check with #143420.

r? @ghost

The rustc-dev-guide Cronjob Bot and others added 20 commits June 26, 2025 04:07
Signed-off-by: xizheyin <[email protected]>
…isolation

Add `arguments sharing and isolation` section in `diagnostic-struct` of rdg
Explain where rdg changes should be submitted
Add temporary broken `./x test library/std` advisory
The last part of the paragraph did not fit
- `for` loops now use two `match`es for all of their bindings. I'm not
sure this is the most helpful way of conveying that, but it's about as
informative as before while staying brief.

- `while let` and `if let` don't use `match`; they use `let` expressions
in their conditions. Since `if let` no longer has significantly
different desugaring and having a whole bullet point for `while` would
feel redundant with `for`, I've removed those examples.
…ring

update AST-to-HIR lowering examples for conditionals and loops
adjust autodiff docs, after splitting up autodiff into two macros
This updates the rust-version file to c96a690.
Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: c96a690
Filtered ref: 7b9552d4c39c31aabf6749629da2d4a7e6e1cd60

This merge was created using https://github.com/rust-lang/josh-sync.
@rustbot rustbot added the A-rustc-dev-guide Area: rustc-dev-guide label Jul 4, 2025
@Kobzol
Copy link
Member Author

Kobzol commented Jul 4, 2025

Looks good!

@Kobzol Kobzol closed this Jul 4, 2025
@Kobzol Kobzol deleted the rdg-push-old branch July 4, 2025 09:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-rustc-dev-guide Area: rustc-dev-guide
Projects
None yet
Development

Successfully merging this pull request may close these issues.

9 participants