Rollup of 8 pull requests#146572
Merged
bors merged 20 commits intorust-lang:masterfrom Sep 15, 2025 
Merged
Commits
Commits on Jul 3, 2025
Commits on Sep 7, 2025
Commits on Sep 10, 2025
Commits on Sep 12, 2025
Commits on Sep 13, 2025
Commits on Sep 14, 2025
Commits on Sep 15, 2025
- authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored
 - authored