Rollup of 7 pull requests - #160879

Merged

rust-bors[bot] merged 20 commits into

rust-lang:mainfrom

JonathanBrouwer:rollup-4zAylRT

Aug 11, 2026

Commits on Aug 5, 2026

Diagnostics ICE when replaying proof trees with next-solver
VicenteGusmao
committed
4828030

Commits on Aug 8, 2026

[Priroda] Add bootstrap test and check steps
moabo3li
committed
a529dee
[Priroda] Add rust_2018_idioms lint, bootstrap check, and clippy step
moabo3li
committed
e2a6442

Commits on Aug 10, 2026

Fix visible_parent_map fallback map merging perf regression
zalanlevai
committed
d577cbc
Add regression test for assoc const panic ICE in match
zakrad
committed
aed6c87
misc renames
ada4a
committed
60aee43
rename `HostEffectPredicate` to `HostEffectClause`
ada4a
committed
0bdc067
rename `DerivedHostCause.parent_host_pred`
ada4a
committed
5575f9a
rename `ConstConditions.predicates`
ada4a
committed
7e2398f
Add explanation to regression test
VicenteGusmao
committed
1cf12a5
Ensure inferred let pattern types are well-formed

authored and
JonathanBrouwer
committed
1fd0a40
Remove crash-test

JonathanBrouwer
and
s7tya
committed
93bc4e8
Implement `to_string()` on `ByteStr` and `ByteString`
DanielEScherzer
committed
bb32b7c
Rollup merge of #160629 - moabo3li:priroda-bootstrap-ci, r=oli-obk
JonathanBrouwer
authored
e84bdbd
Rollup merge of #160811 - zalanlevai:160464-perf-regression, r=JonathanBrouwer
JonathanBrouwer
authored
65c0a8b
Rollup merge of #154329 - VicenteGusmao:fix-bug-151304, r=lcnr
JonathanBrouwer
authored
ef94a79
Rollup merge of #157841 - Kivooeo:fix-let-pat-inferred-wf, r=lcnr
JonathanBrouwer
authored
ac84f4a
Rollup merge of #159300 - DanielEScherzer:bytestr-to-string, r=clarfonthey
JonathanBrouwer
authored
b3459ae
Rollup merge of #160858 - zakrad:regr-test-91514, r=JohnTitor
JonathanBrouwer
authored
46f532d
Rollup merge of #160864 - ada4a:rename-HostEffectPredicate, r=oli-obk
JonathanBrouwer
authored
d3a5cbc