Rollup of 4 pull requests - #160382

Closed

JonathanBrouwer wants to merge 53 commits into

rust-lang:mainfrom

JonathanBrouwer:rollup-eB0I442

Commits on Jul 24, 2026

[Priroda] Add source-shaped value UI coverage
moabo3li
committed
076de87

Commits on Jul 27, 2026

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
bc56612
Merge ref 'dfbea5bc945a' from rust-lang/rust
The Miri Cronjob Bot
committed
0a7b19e
fmt
The Miri Cronjob Bot
committed
a3eac7e
skip weak memory buffer handling when there is only one thread
RalfJung
committed
316b77b
bless test-cargo-miri
RalfJung
committed
83a423b
Merge pull request #5191 from RalfJung/single-thread-no-store-buffer
RalfJung
authored
47dfbec
Merge pull request #5228 from rust-lang/rustup-2026-07-27
RalfJung
authored
2e6ce93
[Priroda] Add source-shaped value renderer plumbing
moabo3li
committed
47eb30f
[Priroda] Render source-shaped struct values
moabo3li
committed
7edd27f
[Priroda] Render source-shaped enum values
moabo3li
committed
543afd7
[Priroda] Render source-shaped tuple values
moabo3li
committed
65ee03d
[Priroda] Render source-shaped array and slice values
moabo3li
committed
77b975c

Commits on Jul 28, 2026

fix ptr_from_addr_cast comment
zjp-CN
committed
925bc0e
Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
d203782
Merge ref 'd3ea0356830d' from rust-lang/rust
The Miri Cronjob Bot
committed
aa711f6
Merge pull request #5231 from KMiri-rs/fix-ptr_from_addr_cast-comment
RalfJung
authored
045757c
tests: libc-poll: test a more reaosnable FD number for POLLNVAL
RalfJung
committed
204ccaa
macos poll seems be kinda broken
RalfJung
committed
9c4c3fe
Merge pull request #5232 from rust-lang/rustup-2026-07-28
RalfJung
authored
e80409a
Merge pull request #5229 from moabo3li/locals-projected-names-and-types-handling
oli-obk
authored
745f929
add aarch64 SHA256 intrinsics
jrakibi
committed
c10cc83
x86/sha: drop "reg" from variable names
jrakibi
committed
856278b
Merge pull request #5064 from jrakibi/25-05-aarch64-sha256-intrinsics
RalfJung
authored
c78d212

Commits on Jul 29, 2026

tests: prefer max-llvm-major-version over open LLVM ranges
AayushMainali-Github
committed
20ac212
Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
c72ad96
Merge ref '701a6513a48e' from rust-lang/rust
The Miri Cronjob Bot
committed
6fc625b
Merge pull request #5233 from rust-lang/rustup-2026-07-29
RalfJung
authored
8093103

Commits on Aug 1, 2026

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
939e545
Merge ref 'cb9d1b064054' from rust-lang/rust
The Miri Cronjob Bot
committed
660e976
fmt
The Miri Cronjob Bot
committed
d529bff
Merge pull request #5236 from rust-lang/rustup-2026-08-01
RalfJung
authored
62def3b
Lower `mut` restriction to `ty::FieldDef`
CoCo-Japan-pan
committed
f31f253
bless thir-print
CoCo-Japan-pan
committed
2fc373e
Emit error in mutation of restricted field
CoCo-Japan-pan
committed
12a05e2
Emit error in struct expressions with restricted fields
CoCo-Japan-pan
committed
0dcb605
Add UI tests for mutation of restricted fields
CoCo-Japan-pan
committed
8ebb026
Add UI tests for mutating restricted fields with inline assembly
CoCo-Japan-pan
committed
dc78bf0
Add UI tests for struct expressions with restricted fields
CoCo-Japan-pan
committed
2edaa5e
Remove the incomplete marker from `mut` restrictions
CoCo-Japan-pan
committed
490f95c
show clear error when encountering an argfile
RalfJung
committed
c9d77c9
Merge pull request #5237 from RalfJung/cargo-miri-argfile
RalfJung
authored
61f9cf8
Move a helper to `rustc_trait_selection` and let `rustc_borrowck` use it from there
joshtriplett
committed
6fdf21c
`rustc_borrowck`: Eliminate dependency on `rustc_traits`
joshtriplett
committed
425c312

Commits on Aug 2, 2026

Prepare for merging from rust-lang/rust
The Miri Cronjob Bot
committed
b72b849
Merge ref '73dc9167f1cd' from rust-lang/rust
The Miri Cronjob Bot
committed
c4de87e
fmt
The Miri Cronjob Bot
committed
937dfd4
update genmc spinloop test output
RalfJung
committed
b488a90
Merge pull request #5238 from rust-lang/rustup-2026-08-02
RalfJung
authored
79aa9b1
Rollup merge of #159906 - CoCo-Japan-pan:mut-restriction-check, r=jhpratt,Urgau
JonathanBrouwer
authored
5dd9d4c
Rollup merge of #160358 - joshtriplett:borrowck-simplify-deps, r=mejrs
JonathanBrouwer
authored
ce15aa5
Rollup merge of #160375 - RalfJung:miri, r=RalfJung
JonathanBrouwer
authored
dad6fae
Rollup merge of #159499 - AayushMainali-Github:main, r=jieyouxu
JonathanBrouwer
authored
23e299c