Draft release notes for 1.95

[BoxyUwU]

NOTE: Use the 📝 links to edit those that have a relnotes-tracking-issue,
and they will be updated when we regenerate the notes periodically (manually).

Version 1.95 (2026-04-16)

Language

• Stabilize if let guards on match arms)
  📝
• irrefutable_let_patterns lint no longer lints on let chains
  📝
• Support importing path-segment keywords with renaming
  📝
• Stabilize ppc inline assembly
  📝
• const-eval: be more consistent in the behavior of padding during typed copies
  📝
• Const blocks are no longer evaluated to determine if expressions involving fallible operations can implicitly be constant-promoted.. Expressions whose ability to implicitly be promoted would depend on the result of a const block are no longer implicitly promoted.
  📝
• Make operational semantics of pattern matching independent of crate and module
  📝

Compiler

• Stabilize --remap-path-scope for controling the scoping of how paths get remapped in the resulting binary
  📝

Platform Support

• Promote powerpc64-unknown-linux-musl to tier 2 with host tools
  📝
• Promote aarch64-apple-tvos to Tier 2
• Promote aarch64-apple-tvos-sim to Tier 2
• Promote aarch64-apple-watchos to Tier 2
• Promote aarch64-apple-watchos-sim to Tier 2
• Promote aarch64-apple-visionos to Tier 2
• Promote aarch64-apple-visionos-sim to Tier 2
  📝

Refer to Rust's platform support page
for more information on Rust's tiered platform support.

Libraries

• thread::scope: document how join interacts with TLS destructors
  📝
• Stabilize new RangeInclusive and RangeInclusiveIter types
  📝
• Speed up str::contains on aarch64 targets with neon target feature enabled by default
  📝

Stabilized APIs

• assert_matches!
• debug_assert_matches!
  📝
• MaybeUninit<[T; N]>: From<[MaybeUninit<T>; N]>
• MaybeUninit<[T; N]>: AsRef<[MaybeUninit<T>; N]>
• MaybeUninit<[T; N]>: AsRef<[MaybeUninit<T>]>
• MaybeUninit<[T; N]>: AsMut<[MaybeUninit<T>; N]>
• MaybeUninit<[T; N]>: AsMut<[MaybeUninit<T>]>
• [MaybeUninit<T>; N]: From<MaybeUninit<[T; N]>>
• Cell<[T; N]>: AsRef<[Cell<T>; N]>
• Cell<[T; N]>: AsRef<[Cell<T>]>
• Cell<[T]>: AsRef<[Cell<T>]>
  📝
• bool: TryFrom<{integer}
  📝
• AtomicPtr::update
• AtomicPtr::try_update
• AtomicBool::update
• AtomicBool::try_update
• AtomicIn::update
• AtomicIn::try_update
• AtomicUn::update
• AtomicUn::try_update
  📝
• cfg_select!
  📝
• core::hint::cold_path
  📝
• <*const T>::as_ref_unchecked
• <*mut T>::as_ref_unchecked
• <*mut T>::as_mut_unchecked
  📝

These previously stable APIs are now stable in const contexts:

• fmt::from_fn
  📝
• ControlFlow::is_break
• ControlFlow::is_continue
  📝

Cargo

• docs(report): enhance man pages for cargo report *

Rustdoc

• In search results, rank unstable items lower
  📝
• Add new "hide deprecated items" setting in rustdoc
  📝

Compatibility Notes

• Array coercions may now result in less inference constraints than before
  📝
• FCW Lint when using an ambiguously glob imported trait
  📝
• Check lifetime bounds of types mentioning only type parameters
  📝
• Report more visibility-related ambiguous import errors
  📝
• Remove performance optimization used in coherence checking
  📝
• deprecate Eq::assert_receiver_is_total_eq and emit future compatibility warnings on manual impls
  📝
• powerpc64: Use the ELF ABI version set in target spec instead of guessing (fixes the ELF ABI used by the OpenBSD target)
  📝
• mut ref and mut ref mut patterns, part of the unstable Match Ergonomics 2024 RFC, were accidentally allowed on stable within struct pattern field shorthand. These patterns are now correctly feature-gated as unstable in this position.
  📝
• Add FCW for derive helper attributes which conflict with built-in attributes
  📝
• JSON target specs have been destabilized and now require -Z unstable-options to use. Previously, these could not be used without the standard library, which has no stable build mechanism. In preparation for the build-std project adding that support, JSON target specs are being proactively gated to ensure they remain unstable even if build-std is stabilized. Cargo now includes the -Z json-target-spec CLI flag to automatically pass -Z unstable-options to the compiler when needed. See #150151, #151534, and rust-lang/cargo#16557.
  📝
• The arguments of #[feature] attributes on invalid targets are now checked
  📝

Internal Changes

These changes do not affect any public interfaces of Rust, but they represent
significant improvements to the performance or internals of rustc and related
tools.

Other

[BoxyUwU]

@rustbot ping relnotes-interest-group

cc @rust-lang/release

[rustbot]

Hi relnotes-interest-group, this issue/PR could use some help in reviewing /
adjusting release notes. Could you take a look if available? Thanks <3

cc @alex-semenyuk @jieyouxu @joshtriplett @lcnr @traviscross