Rollup of 10 pull requests#138366

Merged

bors merged 35 commits intorust-lang:masterfrom

matthiaskrgr:rollup-cn16m7q

Mar 12, 2025

Commits on Mar 2, 2025

Prevent ICE in autodiff validation by emitting user-friendly errors
Sa4dUs
committed

Commits on Mar 9, 2025

Explain weird quirk in user type annotation lowering
compiler-errors
committed
Do not write user type annotation for const param value path
compiler-errors
committed
Do not feed anon const a type that references generics that it does not have
compiler-errors
committed

Commits on Mar 10, 2025

Commits on Mar 11, 2025