Rollup of 7 pull requests#146333

Merged

bors merged 71 commits intorust-lang:masterfrom

matthiaskrgr:rollup-ib80jyw

Sep 8, 2025

Commits on Aug 27, 2025

Mention our policy on typofixes for internal docs
apiraino
committed

Commits on Aug 28, 2025

dates(diagnostics,tests): refresh annotated dates to Aug 2025; preserve local style
ali90h
committed
dates(infra): refresh date-check annotations for Aug 2025; preserve local style
ali90h
committed
dates(queries): refresh date-check annotations to 2025-08; preserve local style
ali90h
committed
dates(types,traits): refresh date-check annotations for Aug/2025-08; preserve local style
ali90h
committed
Merge pull request #2557 from ali90h/date-sweep-2025-08-infra
jyn514
authored
Merge pull request #2558 from ali90h/date-sweep-2025-08-queries
jyn514
authored
Merge pull request #2559 from ali90h/date-sweep-2025-08-types-traits
jyn514
authored
Merge pull request #2556 from ali90h/date-sweep-2025-08-diag-tests
jyn514
authored
Merge pull request #2553 from ali90h/fix-stab-guide-gating-v2
jyn514
authored

Commits on Aug 29, 2025

Commits on Aug 30, 2025

Commits on Sep 1, 2025

Commits on Sep 2, 2025

Migrate more things in the new solver to specific `DefId`s
ChayimFriedman2
committed

Commits on Sep 3, 2025

Fix some broken links
Emmet Horgan
committed

Commits on Sep 5, 2025

Commits on Sep 8, 2025