Rust

• CVE-2024-24576: fix escaping of Windows batch file arguments in std::process::Command

• Revert stripping debuginfo by default for Windows This fixes a regression in 1.77 by reverting to the previous default. Platforms other than Windows are not affected.
• Internal: Fix heading anchor rendering in doc pages

Language

• Reveal opaque types within the defining body for exhaustiveness checking.
• Stabilize C-string literals.
• Stabilize THIR unsafeck.
• Add lint static_mut_refs to warn on references to mutable statics.
• Support async recursive calls (as long as they have indirection).
• Undeprecate lint unstable_features and make use of it in the compiler.
• Make inductive cycles in coherence ambiguous always.
• Get rid of type-driven traversal in const-eval interning, only as a future compatiblity lint for now.
• Deny braced macro invocations in let-else.

Compiler

• In

Language

• Document Rust ABI compatibility between various types
• Also: guarantee that char and u32 are ABI-compatible
• Warn against ambiguous wide pointer comparisons

Compiler

• Lint pinned #[must_use] pointers (in particular, Box<T> where T is #[must_use]) in unused_must_use.
• Soundness fix: fix computing the offset of an unsized field in a packed struct
• Soundness fix: fix dynamic size/align computation logic for packed types with dyn Trait tail
• Add $message_type field to distinguish json diagnostic outputs
• Enable Rust to use the EHCont security fea

Language

• Stabilize async fn and return-position impl Trait in traits.
• Allow function pointer signatures containing &mut T in const contexts.
• Match usize/isize exhaustively with half-open ranges.
• Guarantee that char has the same size and alignment as u32.
• Document that the null pointer has the 0 address.
• Allow partially moved values in match.
• Add notes about non-compliant FP behavior on 32bit x86 targets.
• Stabilize ratified RISC-V target features.

Compiler

• Rework negative coherence to pr