Rust

Language

• Document maximum allocation size
• Allow zero-byte offsets and ZST read/writes on arbitrary pointers
• Support C23's variadics without a named parameter
• Stabilize exclusive_range_pattern feature
• Guarantee layout and ABI of Result in some scenarios

Compiler

• Update cc crate to v1.0.97 allowing additional spectre mitigations on MSVC targets
• Allow field reordering on types marked repr(packed(1))
• Add a lint against never type fallback affecting unsafe code
• Disallow cast with trailing braced macro in let-else
• Expand for_loops_over_fallibles

Language

• Stabilize inline const {} expressions.
• Prevent opaque types being instantiated twice with different regions within the same function.
• Stabilize WebAssembly target features that are in phase 4 and 5.
• Add the redundant_lifetimes lint to detect lifetimes which are semantically redundant.
• Stabilize the unnameable_types lint for public types that can't be named.
• Enable debuginfo in macros, and stabilize -C collapse-macro-debuginfo and #[collapse_debuginfo].
• Propagate temporary lifetime extension into if and match expressions.
• Restrict promotion of const fn calls.

Language

• Stabilize #[cfg(target_abi = ...)]
• Stabilize the #[diagnostic] namespace and #[diagnostic::on_unimplemented] attribute
• Make async-fn-in-trait implementable with concrete signatures
• Make matching on NaN a hard error, and remove the rest of illegal_floating_point_literal_pattern
• static mut: allow mutable reference to arbitrary types, not just slices and arrays
• Extend invalid_reference_casting to include references casting to bigger memory layout
• Add non_contiguous_range_endpoints lint for singleton gaps after exclusive ranges
• Add wasm_c_abi lint for use of older wasm-bind

• 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