Merge #551

551: Describe 1.84 and 1.85 changes r=pietroalbini a=Veykril



Co-authored-by: Lukas Wirth <[email protected]>

Author: bors-ferrocene[bot]

src/changelog.rst

@@ -18,6 +18,74 @@ with the change that has been applied due to it.
    just the language changes that had an impact to the FLS. See the `release
    notes`_ for a full list of changes.
 
+Language changes in Rust 1.85.0
+-------------------------------
+
+* `The 2024 Edition is now stable. <https://github.com/rust-lang/rust/pull/133349>`_
+
+  * No change: The FLS currently qualifies only the 2021 Edition
+
+* `Stabilize async closures <https://github.com/rust-lang/rust/pull/132706>`_
+
+  * New paragraphs: :p:`fls_My6pMgpeFCFg`, :p:`fls_DSy7bPKGzyov`
+
+  * Changed syntax: :s:`ClosureExpression`
+
+* `Stabilize \`#[diagnostic::do_not_recommend]\` <https://github.com/rust-lang/rust/pull/132056>`_
+
+  * No change: tool attributes are not part of the FLS
+
+* `Add \`unpredictable_function_pointer_comparisons\` lint to warn against function pointer comparisons <https://github.com/rust-lang/rust/pull/118833>`_
+
+  * No change: Lints are not part of the FLS
+
+* `Lint on combining \`#[no_mangle]\` and \`#[export_name]\` attributes. <https://github.com/rust-lang/rust/pull/131558>`_
+
+  * No change: Lints are not part of the FLS
+
+Language changes in Rust 1.84.0
+-------------------------------
+
+* `Allow \`#[deny]\` inside \`#[forbid]\` as a no-op <https://github.com/rust-lang/rust/pull/121560/>`_
+
+  * No change: Lints are not part of the FLS
+
+* `Show a warning when \`-Ctarget-feature\` is used to toggle features that can lead to unsoundness due to ABI mismatches <https://github.com/rust-lang/rust/pull/129884>`_
+
+  * No change: `target-feature` is outside the scope of the Ferrocene qualification
+
+* `Use the next-generation trait solver in coherence <https://github.com/rust-lang/rust/pull/130654>`_
+
+  * No change: the exact trait solver is not part of the FLS
+
+* `Allow coercions to drop the principal of trait objects <https://github.com/rust-lang/rust/pull/131857>`_
+
+  * Changed paragraph: :p:`fls_SYnFJBhi0IWj`
+
+* `Support \`/\` as the path separator for \`include!()\` in all cases on Windows <https://github.com/rust-lang/rust/pull/125205>`_
+
+  * No change: This past restriction of the `include` macro is not specified by the FLS
+
+* `Taking a raw ref (\`raw (const|mut)\`) of a deref of a pointer (\`*ptr\`) is now safe <https://github.com/rust-lang/rust/pull/129248>`_
+
+  * Changed paragraph: :p:`fls_8i4jzksxlrw0`
+
+* `Stabilize s390x inline assembly <https://github.com/rust-lang/rust/pull/131258>`_
+
+  * No change: These changes affect content that is informational
+
+* `Stabilize Arm64EC inline assembly <https://github.com/rust-lang/rust/pull/131781>`_
+
+  * No change: These changes affect content that is informational
+
+* `Lint against creating pointers to immediately dropped temporaries <https://github.com/rust-lang/rust/pull/128985>`_
+
+  * No change: Lints are not part of the FLS
+
+* `Execute drop glue when unwinding in an \`extern "C"\` function <https://github.com/rust-lang/rust/pull/129582>`_
+
+  * No change: This restricted past behavior is specified by the FLS.
+
 Language changes in Rust 1.83.0
 -------------------------------
 

src/expressions.rst

@@ -1033,7 +1033,7 @@ The :t:`dereference` is assignable when the :t:`dereference expression` is a
 :t:`mutable place expression`.
 
 :dp:`fls_8i4jzksxlrw0`
-Dereferencing a :t:`raw pointer` shall require :t:`unsafe context`.
+Dereferencing a :t:`raw pointer` shall require :t:`unsafe context` unless the :t:`dereference expression` is the :t:`operand` of a :t:`raw borrow expression`.
 
 :dp:`fls_d68ddlse4zp`
 If the context of a :t:`dereference expression` is an
@@ -3697,7 +3697,7 @@ Closure Expressions
 .. syntax::
 
    ClosureExpression ::=
-       $$move$$? $$|$$ ClosureParameterList? $$|$$
+       $$async$$? $$move$$? $$|$$ ClosureParameterList? $$|$$
          (ClosureBody | ClosureBodyWithReturnType)
 
    ClosureBody ::=
@@ -3721,6 +3721,9 @@ Closure Expressions
 A :t:`closure expression` is an :t:`expression` that defines a
 :t:`closure type` and constructs a value of that :t:`type`.
 
+:dp:`fls_My6pMgpeFCFg`
+An :t:`async closure expression` is a :t:`closure expression` subject to keyword ``async`` that defines an :t:`async closure type` and constructs a value of that :t:`type`.
+
 :dp:`fls_UgJgur0z6d4a`
 The :t:`return type` of a :t:`closure type` is determined as follows:
 
@@ -3730,6 +3733,9 @@ The :t:`return type` of a :t:`closure type` is determined as follows:
 * :dp:`fls_wLVeE6cNG8oa`
   Otherwise the :t:`return type` is the :t:`type` of the :t:`closure body`.
 
+:dp:`fls_DSy7bPKGzyov`
+The :t:`return type` of an :t:`async closure type` is an :t:`anonymous return type` with a :std:`core::future::Future` :t:`trait bound` and a :t:`binding argument` for the ``Output`` :t:`associated type alias` with the actual :t:`return type` of the corresponding :t:`closure type`.
+
 :dp:`fls_srbl7ptknjyk`
 A :t:`closure body` is a :t:`construct` that represents the executable portion
 of a :t:`closure expression`.

src/glossary.rst

@@ -539,6 +539,27 @@ an asynchronous manner.
 :dp:`fls_je689rormhd6`
 See :s:`AsyncBlockExpression`.
 
+.. _fls_oUdQnbW1MAFW:
+
+async closure expression
+^^^^^^^^^^^^^^^^^^^^^^^^
+
+:dp:`fls_SxydbQPPX9Jw`
+An :dt:`async closure expression` is a :t:`closure expression` subject to keyword ``async`` that defines an :t:`async closure type` and constructs a value of that :t:`type`.
+
+:dp:`fls_JZsDFMg85a3u`
+See :s:`ClosureExpression`.
+
+.. _fls_Pq4ohvrMOi5p:
+
+async closure type
+^^^^^^^^^^^^^^^^^^
+
+:dp:`fls_IT28HJaF8rnm`
+An :dt:`async closure type` is a unique anonymous :t:`function type` that encapsulates
+all :t:`[capture target]s` of a :t:`closure expression` producing a :std:`core::future::Future`.
+
+
 .. _fls_lYrTaCM1LcXU:
 
 async control flow boundary

src/types-and-traits.rst

@@ -2046,9 +2046,7 @@ occur when:
   :t:`type`.
 
 * :dp:`fls_SYnFJBhi0IWj`
-  The source :t:`type` is a :t:`trait object type` and the target :t:`type` is a
-  :t:`trait object type` with the same :t:`[trait bound]s` and additional
-  :t:`[auto trait]s`.
+  The source :t:`type` is a :t:`trait object type` and the target :t:`type` is a :t:`trait object type` with the same or no :t:`[principal trait bound]`, and the target :t:`type` has the same or less non-:t:`principal trait` :t:`[trait bound]s`.
 
 :dp:`fls_iiiu2q7pym4p`
 An :t:`unsized coercion` is a :t:`type coercion` that converts a :t:`sized type`

version.rst

@@ -1,3 +1,3 @@
 .. SPDX-License-Identifier: MIT OR Apache-2.0
    SPDX-FileCopyrightText: The Ferrocene Developers
-.. |spec_version| replace:: 1.83.0
+.. |spec_version| replace:: 1.84.0