Rollup of 15 pull requests#151381

Merged

rust-bors[bot] merged 41 commits intorust-lang:mainfrom

JonathanBrouwer:rollup-zvO3tIH

Jan 20, 2026

Commits on Jan 12, 2026

remote-test-server: Fix header in batch mode
nicholasbishop
committed

Commits on Jan 13, 2026

Commits on Jan 15, 2026

Commits on Jan 16, 2026

Commits on Jan 18, 2026

Use `ty::Value` in more places throughout `const_to_pat`
Zalathar
committed
Remove `DiagMessage::Translated` in favour of `DiagMessage::Str`
JonathanBrouwer
committed

Commits on Jan 19, 2026