Describe Fix ambiguous cases of multiple & in elided self lifetimes

Author: Veykril

src/changelog.rst

@@ -26,6 +26,11 @@ Language changes in Rust 1.81.0
   * No change: unwinding is not specified in the FLS
 
 * `Fix ambiguous cases of multiple `&` in elided self lifetimes. <https://github.com/rust-lang/rust/pull/117967/>`_
+
+  * Changed paragraph: :p:`fls_crb6m6b3cdwh`
+
+  * New paragraph: :p:`fls_d4u3y82hdadc`
+
 * `Stabilize `#[expect]` for lints (RFC 2383), <https://github.com/rust-lang/rust/pull/120924/>`_ like `#[allow]` with a warning if the lint is _not_ fulfilled.
 * `Change method resolution to constrain hidden types instead of rejecting method candidates. <https://github.com/rust-lang/rust/pull/123962/>`_
 * `Bump `elided_lifetimes_in_associated_constant` to deny. <https://github.com/rust-lang/rust/pull/124211/>`_

src/types-and-traits.rst

@@ -3200,6 +3200,10 @@ An :dt:`input lifetime` is one of the following :t:`[lifetime]s`:
   :std:`core::ops::Fn`, :std:`core::ops::FnMut`, and :std:`core::ops::FnOnce`
   :t:`[trait]s`.
 
+:dp:`fls_d4u3y82hdadc`
+A :dt:`self input lifetime` is an :t:`input lifetime` of a :t:`self parameter`
+that is a :t:`lifetime` of a :t:`reference type` whose referent is :c:`Self`.
+
 * :dp:`fls_ks8wlufmhz6d`
   Any :t:`lifetime` related to an :t:`implementing type` and an
   :t:`implemented trait` of an :t:`implementation`.
@@ -3231,10 +3235,10 @@ An :dt:`output lifetime` is one of the following :t:`[lifetime]s`:
    :t:`lifetime` is assigned to all :t:`elided` :t:`[output lifetime]s`.
 
 #. :dp:`fls_crb6m6b3cdwh`
-   If a :t:`function` has a :t:`self parameter` of the form ``&self``,
-   ``&mut self``, or ``self: T`` where ``T`` is a :t:`type` with a
-   :t:`lifetime`, then the :t:`lifetime` of the :t:`self parameter` is assigned
-   to all :t:`elided` :t:`[output lifetime]s`.
+   If a :t:`function` has a :t:`self parameter` with exactly 1
+   :t:`self input lifetime`, then the :t:`lifetime` of the
+   :t:`self input lifetime` is assigned to all :t:`elided`
+   :t:`[output lifetime]s`.
 
 #. :dp:`fls_ac9tdlfwp5et`
    Otherwise this is a static error.