diff --git a/RELEASES.md b/RELEASES.md index 6eb70dee395..19fe97deacc 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -1,3 +1,127 @@ +Version 1.54.0 (2021-07-29) +============================ + +Language +----------------------- + +- [You can now use macros for values in built-in attribute macros.][83366] + While a seemingly minor addition on its own, this enables a lot of + powerful functionality when combined correctly. Most notably you can + now include external documentation in your crate by writing the following. + ```rust + #![doc = include_str!("README.md")] + ``` + You can also use this to include auto-generated modules: + ```rust + #[path = concat!(env!("OUT_DIR"), "/generated.rs")] + mod generated; + ``` + +- [You can now cast between unsized slice types (and types which contain + unsized slices) in `const fn`.][85078] +- [You can now use multiple generic lifetimes with `impl Trait` where the + lifetimes don't explicitly outlive another.][84701] In code this means + that you can now have `impl Trait<'a, 'b>` where as before you could + only have `impl Trait<'a, 'b> where 'b: 'a`. + +Compiler +----------------------- + +- [Rustc will now search for custom JSON targets in + `/lib/rustlib//target.json` where `/` is the "sysroot" + directory.][83800] You can find your sysroot directory by running + `rustc --print sysroot`. +- [Added `wasm` as a `target_family` for WebAssembly platforms.][84072] +- [You can now use `#[target_feature]` on safe functions when targeting + WebAssembly platforms.][84988] +- [Improved debugger output for enums on Windows MSVC platforms.][85292] +- [Added tier 3\* support for `bpfel-unknown-none` + and `bpfeb-unknown-none`.][79608] + +\* Refer to Rust's [platform support page][platform-support-doc] for more + information on Rust's tiered platform support. + +Libraries +----------------------- + +- [`panic::panic_any` will now `#[track_caller]`.][85745] +- [Added `OutOfMemory` as a variant of `io::ErrorKind`.][84744] +- [ `proc_macro::Literal` now implements `FromStr`.][84717] +- [The implementations of vendor intrinsics in core::arch have been + significantly refactored.][83278] The main user-visible changes are + a 50% reduction in the size of libcore.rlib and stricter validation + of constant operands passed to intrinsics. The latter is technically + a breaking change, but allows Rust to more closely match the C vendor + intrinsics API. + +Stabilized APIs +--------------- + +- [`BTreeMap::into_keys`] +- [`BTreeMap::into_values`] +- [`HashMap::into_keys`] +- [`HashMap::into_values`] +- [`arch::wasm32`] +- [`VecDeque::binary_search`] +- [`VecDeque::binary_search_by`] +- [`VecDeque::binary_search_by_key`] +- [`VecDeque::partition_point`] + +Cargo +----- + +- [Added the `--prune ` option to `cargo-tree` to remove a package from + the dependency graph.][cargo/9520] +- [Added the `--depth` option to `cargo-tree` to print only to a certain depth + in the tree ][cargo/9499] +- [Added the `no-proc-macro` value to `cargo-tree --edges` to hide procedural + macro dependencies.][cargo/9488] +- [A new environment variable named `CARGO_TARGET_TMPDIR` is available.][cargo/9375] + This variable points to a directory that integration tests and benches + can use as a "scratchpad" for testing filesystem operations. + +Compatibility Notes +------------------- +- [Mixing Option and Result via `?` is no longer permitted in closures for inferred types.][86831] +- [Previously unsound code is no longer permitted where different constructors in branches + could require different lifetimes.][85574] +- As previously mentioned the [`std::arch` instrinsics now uses stricter const checking][83278] + than before and may reject some previously accepted code. +- [`i128` multiplication on Cortex M0+ platforms currently unconditionally causes overflow + when compiled with `codegen-units = 1`.][86063] + +[85574]: https://github.com/rust-lang/rust/issues/85574 +[86831]: https://github.com/rust-lang/rust/issues/86831 +[86063]: https://github.com/rust-lang/rust/issues/86063 +[86831]: https://github.com/rust-lang/rust/issues/86831 +[79608]: https://github.com/rust-lang/rust/pull/79608 +[84988]: https://github.com/rust-lang/rust/pull/84988 +[84701]: https://github.com/rust-lang/rust/pull/84701 +[84072]: https://github.com/rust-lang/rust/pull/84072 +[85745]: https://github.com/rust-lang/rust/pull/85745 +[84744]: https://github.com/rust-lang/rust/pull/84744 +[85078]: https://github.com/rust-lang/rust/pull/85078 +[84717]: https://github.com/rust-lang/rust/pull/84717 +[83800]: https://github.com/rust-lang/rust/pull/83800 +[83366]: https://github.com/rust-lang/rust/pull/83366 +[83278]: https://github.com/rust-lang/rust/pull/83278 +[85292]: https://github.com/rust-lang/rust/pull/85292 +[cargo/9520]: https://github.com/rust-lang/cargo/pull/9520 +[cargo/9499]: https://github.com/rust-lang/cargo/pull/9499 +[cargo/9488]: https://github.com/rust-lang/cargo/pull/9488 +[cargo/9375]: https://github.com/rust-lang/cargo/pull/9375 +[`BTreeMap::into_keys`]: https://doc.rust-lang.org/std/collections/struct.BTreeMap.html#method.into_keys +[`BTreeMap::into_values`]: https://doc.rust-lang.org/std/collections/struct.BTreeMap.html#method.into_values +[`HashMap::into_keys`]: https://doc.rust-lang.org/std/collections/struct.HashMap.html#method.into_keys +[`HashMap::into_values`]: https://doc.rust-lang.org/std/collections/struct.HashMap.html#method.into_values +[`arch::wasm32`]: https://doc.rust-lang.org/core/arch/wasm32/index.html +[`VecDeque::binary_search`]: https://doc.rust-lang.org/std/collections/struct.VecDeque.html#method.binary_search +[`VecDeque::binary_search_by`]: https://doc.rust-lang.org/std/collections/struct.VecDeque.html#method.binary_search_by + +[`VecDeque::binary_search_by_key`]: https://doc.rust-lang.org/std/collections/struct.VecDeque.html#method.binary_search_by_key + +[`VecDeque::partition_point`]: https://doc.rust-lang.org/std/collections/struct.VecDeque.html#method.partition_point + Version 1.53.0 (2021-06-17) ============================ @@ -1749,7 +1873,7 @@ Language - [You can now use `#[repr(transparent)]` on univariant `enum`s.][68122] Meaning that you can create an enum that has the exact layout and ABI of the type it contains. -- [You can now use outer attribute procedural macros on inline modules.][64273] +- [You can now use outer attribute procedural macros on inline modules.][64273] - [There are some *syntax-only* changes:][67131] - `default` is syntactically allowed before items in `trait` definitions. - Items in `impl`s (i.e. `const`s, `type`s, and `fn`s) may syntactically