Skip to content

Automatic Rustup - #5307

Merged
RalfJung merged 31 commits into
masterfrom
rustup-2026-09-05
Sep 5, 2026
Merged

Automatic Rustup#5307
RalfJung merged 31 commits into
masterfrom
rustup-2026-09-05

Conversation

@workflows-miri

@workflows-miri workflows-miri Bot commented Sep 5, 2026

Copy link
Copy Markdown

Merge ref '0ed41eb4142d' from rust-lang/rust

Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: rust-lang/rust@0ed41eb
Filtered ref: 1f6e2b2
Upstream diff: rust-lang/rust@a69a632...0ed41eb

This merge was created using https://github.com/rust-lang/josh-sync.

jyn514 and others added 30 commits August 5, 2026 07:37
Add LLM guidance, based on the new rl/r policy
derive(Diagnostic): #[note] etc also work on bool fields
Give better examples of how to run `x`
…docs

Add documentation for some `rustc_type_ir` macros
Document debuginfo `repr` directive
…-2473

docs: Clarify Neovim workspace path setup
touch-ups to "query system" chapter
Add a central index of dev-guide reading club discussions
sanitizers: Implement support for the sanitize ignorelist

The sanitize ignorelist gives central controls over which functions, files, etc. should be ignored and not sanitized. It is a common file format for clang and explained here:
https://clang.llvm.org/docs/SanitizerSpecialCaseList.html. This change adds support for this list in Rust as well.

r? @rcvalle
c-variadic: use `emit_ptr_va_arg` for `va_arg` on `sparc`

I've built GCC for the target and validated pretty extensively that this works. Using our helper does generate worse code for `i64` unfortunately, I've reported that as llvm/llvm-project#214594. But, given that this is a tier-3 target etc. I don't think it makes sense to go out of our way to do better, we can just wait for LLVM to resolve that issue.
make -Ctarget-feature warnings more explicitly FCWs

In rust-lang/compiler-team#994 we agreed that

> We also change the warning emitted for unknown features in -Ctarget-feature to be explicitly a future-compat warning, and eventually we make unknown features in -Ctarget-feature a hard error.

This PR implements that.
I also created a new tracking issue specifically for this FCW as the old one has all sorts of discussion about us even figuring out the problem in the first place: rust-lang/rust#162235.
…001999

Generalize Decodable impl for arrays to all types

This is almost the only impl that is not symetric with its Encodable counterpart. I tried to find out why in the history but it looks like this impl predates most of the generic symetric ones that are in this file, so it looks like it's not intentional.

I bumped into this randomly by changing a Vec to an array in some Mir types. The error was pretty confusing and It took me a while to figure out so I think it's worth generalizing this for somebody else in the future,  even though it's technically not necessary at the moment.

~~We piggyback off of `SmallVec` impl to avoid adding a `Default` bound or `MaybeUninit` unsafe dance. This moves the assert from the begining to the end of the loop.~~ We use `array::from_fn`
Update internal docs & tests to use `!` rather than `Infallible` in relation to `Try`

- Update docs, internal comments and tests to use `!` rather than `Infallible` in `Try` situations.
- Add a custom `enum Uninhabited {}` to specific clippy tests where unintentional future divergence in handling `!` vs other uninhabited types may be a possible concern

Refs:
- Never is ~~meow~~ now rust-lang/rust#155499
- Try: rust-lang/rust#84277 & rust-lang/goals#654
Clean up the AST visitor

The AST visitor is macro-heavy and complicated. This PR simplifies some aspects of it. Details in individual commits.

r? @fee1-dead
…uwer

Rollup of 7 pull requests

Successful merges:

 - rust-lang/rust#157808 (sanitizers: Implement support for the sanitize ignorelist)
 - rust-lang/rust#160660 (c-variadic: use `emit_ptr_va_arg` for `va_arg` on `sparc`)
 - rust-lang/rust#162237 (make -Ctarget-feature warnings more explicitly FCWs)
 - rust-lang/rust#160111 (Generalize Decodable impl for arrays to all types)
 - rust-lang/rust#162174 (Update internal docs & tests to use `!` rather than `Infallible` in relation to `Try`)
 - rust-lang/rust#162226 (Clean up the AST visitor)
 - rust-lang/rust#162281 (rustc-dev-guide subtree update)
always rerun if we normalize local opaques




Fixes rust-lang/rust#135062

The problem is that we rerun goals too late such that we compute auto trait for wrongly-marked-as-rigid opaques.
We call `type_of` on those opaques which would trigger query cycle if we're already in typeck/borrowck of the same opaques.

It's fixed by eagerly rerun if we ever normalize a local opaque. 
To be more consersative, we could also rerun if we normalize remote opaque. But that causes regression for `wg-grammar`. Since we wouldn't be in typeck/borrowck if we're in post analysis mode, we don't have the query cycle problem. We **might** get away with not rerunning there.

`OpaqueInStorage` removal doesn't affect behavior and can be done in a followup.

r? @lcnr
This updates the rust-version file to 0ed41eb4142dda2df61eb1145a312c1a9d62eb56.
@rustbot rustbot added the S-waiting-on-review Status: Waiting for a review to complete label Sep 5, 2026
@RalfJung
RalfJung added this pull request to the merge queue Sep 5, 2026
Merged via the queue into master with commit 127b35a Sep 5, 2026
14 checks passed
@RalfJung
RalfJung deleted the rustup-2026-09-05 branch September 5, 2026 08:00
@rustbot rustbot removed the S-waiting-on-review Status: Waiting for a review to complete label Sep 5, 2026
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.

8 participants