This release disables incremental compilation, unless the user has explicitly opted in via the newly added RUSTC_FORCE_INCREMENTAL=1 environment variable.

This is due to the widespread, and frequently occurring, breakage encountered by Rust users due to newly enabled incremental verification in 1.52.0. Notably, Rust users should upgrade to 1.52.0 or 1.52.1: the bugs that are detected by newly added incremental verification are still present in past stable versions, and are not yet fixed on any channel. These bugs can lead to miscompilation of Rust binaries.

These problems only affect incremental builds, so release builds with Cargo should not be affected unless the user has explicitly opted into incremental. Debug and check builds are affected.

See 84970 for more details.

Language

• Added the unsafe_op_in_unsafe_fn lint, which checks whether the unsafe code in an unsafe fn is wrapped in a unsafe block. This lint is allowed by default, and may become a warning or hard error in a future edition.
• You can now cast mutable references to arrays to a pointer of the same type as the element.

Compiler

• Upgraded the default LLVM to LLVM 12.

Added tier 3* support for the following targets.

• s390x-unknown-linux-musl
• riscv32gc-unknown-linux-musl & riscv64gc-unknown-linux-musl
• powerpc-unknown-openbsd

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

Libraries

• OsString now implements Extend and FromIterator.
• cmp::Reverse now has #[repr(transparent)] representation.
• Arc<impl Error> now implements error::Error.
• All integer division and remainder operations are now const.

Stabilised APIs

• Arguments::as_str
• char::MAX
• char::REPLACEMENT_CHARACTER
• char::UNICODE_VERSION
• char::decode_utf16
• char::from_digit
• char::from_u32_unchecked
• char::from_u32
• slice::partition_point
• str::rsplit_once
• str::split_once

The following previously stable APIs are now const.

• char::len_utf8
• char::len_utf16
• char::to_ascii_uppercase
• char::to_ascii_lowercase
• char::eq_ignore_ascii_case
• u8::to_ascii_uppercase
• u8::to_ascii_lowercase
• u8::eq_ignore_ascii_case

Rustdoc

• Rustdoc lints are now treated as a tool lint, meaning that lints are now prefixed with rustdoc:: (e.g. #[warn(rustdoc::broken_intra_doc_links)]). Using the old style is still allowed, and will become a warning in a future release.
• Rustdoc now supports argument files.
• Rustdoc now generates smart punctuation for documentation.
• You can now use "task lists" in Rustdoc Markdown. E.g.

  - [x] Complete
  - [ ] Todo

Misc

• You can now pass multiple filters to tests. E.g. cargo test -- foo bar will run all tests that match foo and bar.
• Rustup now distributes PDB symbols for the std library on Windows, allowing you to see std symbols when debugging.

Internal Only

These changes provide no direct user facing benefits, but represent significant improvements to the internals and overall performance of rustc and related tools.

• Check the result cache before the DepGraph when ensuring queries
• Try fast_reject::simplify_type in coherence before doing full check
• Only store a LocalDefId in some HIR nodes
• Store HIR attributes in a side table

Compatibility Notes

• Cargo build scripts are now forbidden from setting RUSTC_BOOTSTRAP.
• Removed support for the x86_64-rumprun-netbsd target.
• Deprecated the x86_64-sun-solaris target in favor of x86_64-pc-solaris.
• Rustdoc now only accepts ,, , and \t as delimiters for specifying languages in code blocks.
• Rustc now catches more cases of pub_use_of_private_extern_crate
• Changes in how proc macros handle whitespace may lead to panics when used with older proc-macro-hack versions. A cargo update should be sufficient to fix this in all cases.
• Turn #[derive] into a regular macro attribute

Language

• You can now parameterize items such as functions, traits, and structs by constant values in addition to by types and lifetimes. Also known as "const generics" E.g. you can now write the following. Note: Only values of primitive integers, bool, or char types are currently permitted.

  struct GenericArray<T, const LENGTH: usize> {
      inner: [T; LENGTH]
  }
  
  impl<T, const LENGTH: usize> GenericArray<T, LENGTH> {
      const fn last(&self) -> Option<&T> {
          if LENGTH == 0 {
              None
          } else {
              Some(&self.inner[LENGTH - 1])
          }
      }
  }

Compiler

• Added the -Csplit-debuginfo codegen option for macOS platforms. This option controls whether debug information is split across multiple files or packed into a single file. Note This option is unstable on other platforms.
• Added tier 3* support for aarch64_be-unknown-linux-gnu, aarch64-unknown-linux-gnu_ilp32, and aarch64_be-unknown-linux-gnu_ilp32 targets.
• Added tier 3 support for i386-unknown-linux-gnu and i486-unknown-linux-gnu targets.
• The target-cpu=native option will now detect individual features of CPUs.

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

Libraries

• Box::downcast is now also implemented for any dyn Any Send Sync object.
• str now implements AsMut<str>.
• u64 and u128 now implement From<char>.
• Error is now implemented for &T where T implements Error.
• Poll::{map_ok, map_err} are now implemented for Poll<Option<Result<T, E>>>.
• unsigned_abs is now implemented for all signed integer types.
• io::Empty now implements io::Seek.
• rc::Weak<T> and sync::Weak<T>'s methods such as as_ptr are now implemented for T: ?Sized types.
• Div and Rem by their NonZero variant is now implemented for all unsigned integers.

Stabilized APIs

• Arc::decrement_strong_count
• Arc::increment_strong_count
• Once::call_once_force
• Peekable::next_if_eq
• Peekable::next_if
• Seek::stream_position
• array::IntoIter
• panic::panic_any
• ptr::addr_of!
• ptr::addr_of_mut!
• slice::fill_with
• slice::split_inclusive_mut
• slice::split_inclusive
• slice::strip_prefix
• slice::strip_suffix
• str::split_inclusive
• sync::OnceState
• task::Wake
• VecDeque::range
• VecDeque::range_mut

Cargo

• Added the split-debuginfo profile option to control the -Csplit-debuginfo codegen option.
• Added the resolver field to Cargo.toml to enable the new feature resolver and CLI option behavior. Version 2 of the feature resolver will try to avoid unifying features of dependencies where that unification could be unwanted. Such as using the same dependency with a std feature in a build scripts and proc-macros, while using the no-std feature in the final binary. See the Cargo book documentation for more information on the feature.

Rustdoc

• Rustdoc will now include documentation for methods available from nested Deref traits.
• You can now provide a --default-theme flag which sets the default theme to use for documentation.

Various improvements to intra-doc links:

• You can link to non-path primitives such as slice.
• You can link to associated items.
• You can now include generic parameters when linking to items, like Vec<T>.

Misc

• You can now pass --include-ignored to tests (e.g. with cargo test -- --include-ignored) to include testing tests marked #[ignore].

Compatibility Notes

• WASI platforms no longer use the wasm-bindgen ABI, and instead use the wasm32 ABI.
• rustc no longer promotes division, modulo and indexing operations to const that could fail.
• The minimum version of glibc for the following platforms has been bumped to version 2.31 for the distributed artifacts.
  • armv5te-unknown-linux-gnueabi
  • sparc64-unknown-linux-gnu
  • thumbv7neon-unknown-linux-gnueabihf
  • armv7-unknown-linux-gnueabi
  • x86_64-unknown-linux-gnux32
• atomic::spin_loop_hint has been deprecated. It's recommended to use hint::spin_loop instead.

Internal Only

• Consistently avoid constructing optimized MIR when not doing codegen

Language

• You can now use const values for x in [x; N] array expressions. This has been technically possible since 1.38.0, as it was unintentionally stabilized.
• Assignments to ManuallyDrop<T> union fields are now considered safe.

Compiler

• Added tier 3* support for the armv5te-unknown-linux-uclibceabi target.
• Added tier 3 support for the aarch64-apple-ios-macabi target.
• The x86_64-unknown-freebsd is now built with the full toolset.
• Dropped support for all cloudabi targets.

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

Libraries

• proc_macro::Punct now implements PartialEq<char>.
• ops::{Index, IndexMut} are now implemented for fixed sized arrays of any length.
• On Unix platforms, the std::fs::File type now has a "niche" of -1. This value cannot be a valid file descriptor, and now means Option<File> takes up the same amount of space as File.

Stabilized APIs

• bool::then
• btree_map::Entry::or_insert_with_key
• f32::clamp
• f64::clamp
• hash_map::Entry::or_insert_with_key
• Ord::clamp
• RefCell::take
• slice::fill
• UnsafeCell::get_mut

The following previously stable methods are now const.

• IpAddr::is_ipv4
• IpAddr::is_ipv6
• IpAddr::is_unspecified
• IpAddr::is_loopback
• IpAddr::is_multicast
• Ipv4Addr::octets
• Ipv4Addr::is_loopback
• Ipv4Addr::is_private
• Ipv4Addr::is_link_local
• Ipv4Addr::is_multicast
• Ipv4Addr::is_broadcast
• Ipv4Addr::is_documentation
• Ipv4Addr::to_ipv6_compatible
• Ipv4Addr::to_ipv6_mapped
• Ipv6Addr::segments
• Ipv6Addr::is_unspecified
• Ipv6Addr::is_loopback
• Ipv6Addr::is_multicast
• Ipv6Addr::to_ipv4
• Layout::size
• Layout::align
• Layout::from_size_align
• pow for all integer types.
• checked_pow for all integer types.
• saturating_pow for all integer types.
• wrapping_pow for all integer types.
• next_power_of_two for all unsigned integer types.
• checked_next_power_of_two for all unsigned integer types.

Cargo

• Added the [build.rustc-workspace-wrapper] option. This option sets a wrapper to execute instead of rustc, for workspace members only.
• cargo:rerun-if-changed will now, if provided a directory, scan the entire contents of that directory for changes.
• Added the --workspace flag to the cargo update command.

Misc

• The search results tab and the help button are focusable with keyboard in rustdoc.
• Running tests will now print the total time taken to execute.

Compatibility Notes

• The compare_and_swap method on atomics has been deprecated. It's recommended to use the compare_exchange and compare_exchange_weak methods instead.
• Changes in how TokenStreams are checked have fixed some cases where you could write unhygenic macro_rules! macros.
• #![test] as an inner attribute is now considered unstable like other inner macro attributes, and reports an error by default through the soft_unstable lint.
• Overriding a forbid lint at the same level that it was set is now a hard error.
• You can no longer intercept panic! calls by supplying your own macro. It's recommended to use the #[panic_handler] attribute to provide your own implementation.
• Semi-colons after item statements (e.g. struct Foo {};) now produce a warning.

Language

• Unions can now implement Drop, and you can now have a field in a union with ManuallyDrop<T>.
• You can now cast uninhabited enums to integers.
• You can now bind by reference and by move in patterns. This allows you to selectively borrow individual components of a type. E.g.

  #[derive(Debug)]
  struct Person {
      name: String,
      age: u8,
  }
  
  let person = Person {
      name: String::from("Alice"),
      age: 20,
  };
  
  // `name` is moved out of person, but `age` is referenced.
  let Person { name, ref age } = person;
  println!("{} {}", name, age);

Compiler

• Added tier 1* support for aarch64-unknown-linux-gnu.
• Added tier 2 support for aarch64-apple-darwin.
• Added tier 2 support for aarch64-pc-windows-msvc.
• Added tier 3 support for mipsel-unknown-none.
• Raised the minimum supported LLVM version to LLVM 9.
• Output from threads spawned in tests is now captured.
• Change os and vendor values to "none" and "unknown" for some targets

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

Libraries

• RangeInclusive now checks for exhaustion when calling contains and indexing.
• ToString::to_string now no longer shrinks the internal buffer in the default implementation.

Stabilized APIs

• slice::select_nth_unstable
• slice::select_nth_unstable_by
• slice::select_nth_unstable_by_key

The following previously stable methods are now const.

• Poll::is_ready
• Poll::is_pending

Cargo

• Building a crate with cargo-package should now be independently reproducible.
• cargo-tree now marks proc-macro crates.
• Added CARGO_PRIMARY_PACKAGE build-time environment variable. This variable will be set if the crate being built is one the user selected to build, either with -p or through defaults.
• You can now use glob patterns when specifying packages & targets.

Compatibility Notes

• Demoted i686-unknown-freebsd from host tier 2 to target tier 2 support.
• Macros that end with a semi-colon are now treated as statements even if they expand to nothing.
• Rustc will now check for the validity of some built-in attributes on enum variants. Previously such invalid or unused attributes could be ignored.
• Leading whitespace is stripped more uniformly in documentation comments, which may change behavior. You read this post about the changes for more details.
• Trait bounds are no longer inferred for associated types.

Internal Only

These changes provide no direct user facing benefits, but represent significant improvements to the internals and overall performance of rustc and related tools.

• rustc's internal crates are now compiled using the initial-exec Thread Local Storage model.
• Calculate visibilities once in resolve.
• Added system to the llvm-libunwind bootstrap config option.
• Added --color for configuring terminal color support to bootstrap.

Language

• The unsafe keyword is now syntactically permitted on modules. This is still rejected semantically, but can now be parsed by procedural macros.

Compiler

• Stabilised the -C link-self-contained=<yes|no> compiler flag. This tells rustc whether to link its own C runtime and libraries or to rely on a external linker to find them. (Supported only on windows-gnu, linux-musl, and wasi platforms.)
• You can now use -C target-feature= crt-static on linux-gnu targets. Note: If you're using cargo you must explicitly pass the --target flag.
• Added tier 2* support for aarch64-unknown-linux-musl.

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

Libraries

• io::Write is now implemented for &ChildStdin &Sink, &Stdout, and &Stderr.
• All arrays of any length now implement TryFrom<Vec<T>>.
• The matches! macro now supports having a trailing comma.
• Vec<A> now implements PartialEq<[B]> where A: PartialEq<B>.
• The RefCell::{replace, replace_with, clone} methods now all use #[track_caller].

Stabilized APIs

• slice::as_ptr_range
• slice::as_mut_ptr_range
• VecDeque::make_contiguous
• future::pending
• future::ready

The following previously stable methods are now const fn's:

• Option::is_some
• Option::is_none
• Option::as_ref
• Result::is_ok
• Result::is_err
• Result::as_ref
• Ordering::reverse
• Ordering::then

Cargo

Rustdoc

• You can now link to items in rustdoc using the intra-doc link syntax. E.g. /// Uses [`std::future`] will automatically generate a link to std::future's documentation. See "Linking to items by name" for more information.
• You can now specify #[doc(alias = "<alias>")] on items to add search aliases when searching through rustdoc's UI.

Compatibility Notes

• Promotion of references to 'static lifetime inside const fn now follows the same rules as inside a fn body. In particular, &foo() will not be promoted to 'static lifetime any more inside const fns.
• Associated type bindings on trait objects are now verified to meet the bounds declared on the trait when checking that they implement the trait.
• When trait bounds on associated types or opaque types are ambiguous, the compiler no longer makes an arbitrary choice on which bound to use.
• Fixed recursive nonterminals not being expanded in macros during pretty-print/reparse check. This may cause errors if your macro wasn't correctly handling recursive nonterminal tokens.
• &mut references to non zero-sized types are no longer promoted.
• rustc will now warn if you use attributes like #[link_name] or #[cold] in places where they have no effect.
• Updated _mm256_extract_epi8 and _mm256_extract_epi16 signatures in arch::{x86, x86_64} to return i32 to match the vendor signatures.
• mem::uninitialized will now panic if any inner types inside a struct or enum disallow zero-initialization.
• #[target_feature] will now error if used in a place where it has no effect.
• Foreign exceptions are now caught by catch_unwind and will cause an abort. Note: This behaviour is not guaranteed and is still considered undefined behaviour, see the catch_unwind documentation for further information.

Internal Only

These changes provide no direct user facing benefits, but represent significant improvements to the internals and overall performance of rustc and related tools.

• Building rustc from source now uses ninja by default over make. You can continue building with make by setting ninja=false in your config.toml.
• cg_llvm: fewer_names in uncached_llvm_type
• Made ensure_sufficient_stack() non-generic

Language

• Closures will now warn when not used.

Compiler

• Stabilized the -C control-flow-guard codegen option, which enables Control Flow Guard for Windows platforms, and is ignored on other platforms.
• Upgraded to LLVM 11.
• Added tier 3* support for the thumbv4t-none-eabi target.
• Upgrade the FreeBSD toolchain to version 11.4
• RUST_BACKTRACE's output is now more compact.

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

Libraries

• CStr now implements Index<RangeFrom<usize>>.
• Traits in std/core are now implemented for arrays of any length, not just those of length less than 33.
• ops::RangeFull and ops::Range now implement Default.
• panic::Location now implements Copy, Clone, Eq, Hash, Ord, PartialEq, and PartialOrd.

Stabilized APIs

• Ident::new_raw
• Range::is_empty
• RangeInclusive::is_empty
• Result::as_deref
• Result::as_deref_mut
• Vec::leak
• pointer::offset_from
• f32::TAU
• f64::TAU

The following previously stable APIs have now been made const.

• The new method for all NonZero integers.
• The checked_add,checked_sub,checked_mul,checked_neg, checked_shl, checked_shr, saturating_add, saturating_sub, and saturating_mul methods for all integers.
• The checked_abs, saturating_abs, saturating_neg, and signum for all signed integers.
• The is_ascii_alphabetic, is_ascii_uppercase, is_ascii_lowercase, is_ascii_alphanumeric, is_ascii_digit, is_ascii_hexdigit, is_ascii_punctuation, is_ascii_graphic, is_ascii_whitespace, and is_ascii_control methods for char and u8.

Cargo

• build-dependencies are now built with opt-level 0 by default. You can override this by setting the following in your Cargo.toml.

  [profile.release.build-override]
  opt-level = 3

• cargo-help will now display man pages for commands rather just the --help text.
• cargo-metadata now emits a test field indicating if a target has tests enabled.
• workspace.default-members now respects workspace.exclude.
• cargo-publish will now use an alternative registry by default if it's the only registry specified in package.publish.

Misc

• Added a help button beside Rustdoc's searchbar that explains rustdoc's type based search.
• Added the Ayu theme to rustdoc.

Compatibility Notes

• Bumped the minimum supported Emscripten version to 1.39.20.
• Fixed a regression parsing {} && false in tail expressions.
• Added changes to how proc-macros are expanded in macro_rules! that should help to preserve more span information. These changes may cause compilation errors if your macro was unhygenic or didn't correctly handle Delimiter::None.
• Moved support for the CloudABI target to tier 3.
• linux-gnu targets now require minimum kernel 2.6.32 and glibc 2.11.
• Added the rustc-docs component. This allows you to install and read the documentation for the compiler internal APIs. (Currently only available for x86_64-unknown-linux-gnu.)

Internal Only

• Improved default settings for bootstrapping in x.py. You can read details about this change in the "Changes to x.py defaults" post on the Inside Rust blog.

Language

• if, match, and loop expressions can now be used in const functions.
• Additionally you are now also able to coerce and cast to slices (&[T]) in const functions.
• The #[track_caller] attribute can now be added to functions to use the function's caller's location information for panic messages.
• Recursively indexing into tuples no longer needs parentheses. E.g. x.0.0 over (x.0).0.
• mem::transmute can now be used in statics and constants. Note You currently can't use mem::transmute in constant functions.

Compiler

• You can now use the cdylib target on Apple iOS and tvOS platforms.
• Enabled static "Position Independent Executables" by default for x86_64-unknown-linux-musl.

Libraries

• mem::forget is now a const fn.
• String now implements From<char>.
• The leading_ones, and trailing_ones methods have been stabilised for all integer types.
• vec::IntoIter<T> now implements AsRef<[T]>.
• All non-zero integer types (NonZeroU8) now implement TryFrom for their zero-able equivalent (e.g. TryFrom<u8>).
• &[T] and &mut [T] now implement PartialEq<Vec<T>>.
• (String, u16) now implements ToSocketAddrs.
• vec::Drain<'_, T> now implements AsRef<[T]>.

Stabilized APIs

• Option::zip
• vec::Drain::as_slice

Cargo

Added a number of new environment variables that are now available when compiling your crate.

• CARGO_BIN_NAME and CARGO_CRATE_NAME Providing the name of the specific binary being compiled and the name of the crate.
• CARGO_PKG_LICENSE The license from the manifest of the package.
• CARGO_PKG_LICENSE_FILE The path to the license file.

Compatibility Notes

• The target configuration option abi_blacklist has been renamed to unsupported_abis. The old name will still continue to work.
• Rustc will now warn if you cast a C-like enum that implements Drop. This was previously accepted but will become a hard error in a future release.
• Rustc will fail to compile if you have a struct with #[repr(i128)] or #[repr(u128)]. This representation is currently only allowed on enums.
• Tokens passed to macro_rules! are now always captured. This helps ensure that spans have the correct information, and may cause breakage if you were relying on receiving spans with dummy information.
• The InnoSetup installer for Windows is no longer available. This was a legacy installer that was replaced by a MSI installer a few years ago but was still being built.
• {f32, f64}::asinh now returns the correct values for negative numbers.
• Rustc will no longer accept overlapping trait implementations that only differ in how the lifetime was bound.
• Rustc now correctly relates the lifetime of an existential associated type. This fixes some edge cases where rustc would erroneously allow you to pass a shorter lifetime than expected.
• Rustc now dynamically links to libz (also called zlib) on Linux. The library will need to be installed for rustc to work, even though we expect it to be already available on most systems.
• Tests annotated with #[should_panic] are broken on ARMv7 while running under QEMU.
• Pretty printing of some tokens in procedural macros changed. The exact output returned by rustc's pretty printing is an unstable implementation detail: we recommend any macro relying on it to switch to a more robust parsing system.

• Fix bindings in tuple struct patterns
• Fix track_caller integration with trait objects

• Fix const propagation with references.
• rustfmt accepts rustfmt_skip in cfg_attr again.
• Avoid spurious implicit region bound.
• Install clippy on x.py install