Describe 1.85 changes

Author: Veykril

src/changelog.rst

@@ -18,6 +18,31 @@ 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
 -------------------------------
 

src/expressions.rst

@@ -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