deploy to github pages

.buildinfo

@@ -0,0 +1,4 @@
+# Sphinx build info version 1
+# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
+config: c09304758c0c50000213c25ed311e647
+tags: 645f666f9bcd5a90fca523b33c5a78b7

CNAME

@@ -0,0 +1 @@
+spec.ferrocene.dev

_sources/associated-items.rst.txt

@@ -0,0 +1,218 @@
+.. SPDX-License-Identifier: MIT OR Apache-2.0
+   SPDX-FileCopyrightText: The Ferrocene Developers
+
+.. default-domain:: spec
+
+.. _fls_l21tjqjkkaa0:
+
+Associated Items
+================
+
+.. rubric:: Syntax
+
+.. syntax::
+
+   AssociatedItem ::=
+       OuterAttributeOrDoc* (AssociatedItemWithVisibility | TerminatedMacroInvocation)
+
+   AssociatedItemWithVisibility ::=
+       VisibilityModifier? (
+           ConstantDeclaration
+         | FunctionDeclaration
+         | TypeAliasDeclaration
+       )
+
+.. rubric:: Legality Rules
+
+:dp:`fls_ckzd25qd213t`
+An :t:`associated item` is an :t:`item` that appears within an
+:t:`implementation` or a :t:`trait`.
+
+:dp:`fls_5y6ae0xqux57`
+An :t:`associated constant` is a :t:`constant` that appears as an
+:t:`associated item`.
+
+:dp:`fls_lj7492aq7fzo`
+An :t:`associated function` is a :t:`function` that appears as an
+:t:`associated item`.
+
+:dp:`fls_8cz4rdrklaj4`
+An :t:`associated type` is a :t:`type alias` that appears as an
+:t:`associated item`.
+
+:dp:`fls_w8nu8suy7t5`
+An :t:`associated type` shall not be used in the :t:`path expression` of a
+:t:`struct expression`.
+
+:dp:`fls_wasocqdnuzd1`
+An :t:`associated type` with a :s:`TypeBoundList` shall appear only as an
+:t:`associated trait type`.
+
+:dp:`fls_PeD0DzjK57be`
+A :t:`generic associated type` is an :t:`associated type` with
+:t:`[generic parameter]s`.
+
+:dp:`fls_3foYUch29ZtF`
+A :t:`lifetime parameter` of a :t:`generic associated type` requires a
+:t:`bound` of the form ``T: 'lifetime``, where ``T`` is a :t:`type parameter`
+or :c:`Self` and ``'lifetime`` is the :t:`lifetime parameter`, when
+
+* :dp:`fls_SnQc0zZS57Cz`
+  The :t:`generic associated type` is used in an :t:`associated function` of
+  the same :t:`trait`, and
+
+* :dp:`fls_6Z05BK2JSzpP`
+  The corresponding :t:`lifetime argument` in the use is not the ``'static``
+  :t:`lifetime` and has either an explicit :t:`bound` or an :t:`implicit bound`
+  that constrains the :t:`type parameter`, and
+
+* :dp:`fls_AtItgS1UvwiX`
+  The intersection of all such uses is not empty.
+
+:dp:`fls_l3iwn56n1uz8`
+An :t:`associated implementation constant` is an :t:`associated constant` that
+appears within an :t:`implementation`.
+
+:dp:`fls_4ftfefcotb4g`
+An :t:`associated implementation constant` shall have a :t:`constant
+initializer`.
+
+:dp:`fls_qb5qpfe0uwk`
+An :t:`associated implementation function` is an :t:`associated function` that
+appears within an :t:`implementation`.
+
+:dp:`fls_1zlkeb6fz10j`
+An :t:`associated implementation function` shall have a :t:`function body`.
+
+:dp:`fls_tw8u0cc5867l`
+An :t:`associated implementation type` is an :t:`associated type` that appears
+within an :t:`implementation`.
+
+:dp:`fls_bx7931x4155h`
+An :t:`associated implementation type` shall have an :t:`initialization type`.
+
+:dp:`fls_bnTcCbDvdp94`
+An :t:`associated trait item` is an :t:`associated item` that appears
+within a :t:`trait`.
+
+:dp:`fls_N3cdn4lCZ2Bf`
+An :t:`associated trait implementation item` is an :t:`associated item` that
+appears within a :t:`trait implementation`.
+
+:dp:`fls_x564isbhobym`
+An :t:`associated trait constant` is an :t:`associated constant` that appears
+within a :t:`trait`.
+
+:dp:`fls_b6nns7oqvdpm`
+An :t:`associated trait function` is an :t:`associated function` that appears
+within a :t:`trait`.
+
+:dp:`fls_2TRwCz38kuRz`
+An :t:`associated trait function` shall not be subject to :t:`keyword` ``const``.
+
+:dp:`fls_WnsVATJvUdza`
+Every occurrence of an :t:`impl trait type` in the :t:`return type` of an
+:t:`associated trait function` is equivalent to referring to a new
+anonymous :t:`associated trait type` of the :t:`implemented trait`.
+
+:dp:`fls_yyhebj4qyk34`
+An :t:`associated trait type` is an :t:`associated type` that appears within
+a :t:`trait`.
+
+:dp:`fls_kl9p3ycl5mzf`
+An :t:`associated trait type` shall not have an :t:`initialization type`.
+
+:dp:`fls_a5prbmuruma4`
+An :t:`associated trait type` has an implicit :std:`core::marker::Sized`
+:t:`bound`.
+
+:dp:`fls_vp2ov6ykueue`
+An :t:`associated trait type` of the form
+
+.. code-block:: rust
+
+   	trait T {
+   	    type X: Bound;
+   	}
+
+:dp:`fls_5uf74nvdm64o`
+is equivalent to a :t:`where clause` of the following form:
+
+.. code-block:: rust
+
+   	trait T where Self::X: Bound {
+   	    type X;
+   	}
+
+:dp:`fls_amWtS80fPtza`
+An :t:`associated trait implementation function` is an :t:`associated function`
+that appears within a :t:`trait implementation`.
+
+:dp:`fls_Cu8FWrisrqz1`
+Every occurrence of an :t:`impl trait type` in the :t:`return type` of an
+:t:`associated trait implementation function` is equivalent to referring to the
+corresponding :t:`associated trait type` of the corresponding :t:`associated
+trait function`.
+
+:dp:`fls_oy92gzxgc273`
+A :t:`method` is an :t:`associated function` with a :t:`self parameter`.
+
+:dp:`fls_WXnCWfJGoQx3`
+The type of a :t:`self parameter` shall be one of the following:
+
+* :dp:`fls_OaszUw4IFobz`
+  A :t:`type specification` resolving to the :t:`implementing type` of the
+  related :t:`implementation`, or
+
+* :dp:`fls_Wd2FZRomB5yn`
+  ``&T`` where ``T`` is one of the :t:`[type]s` listed in this enumeration,
+  or
+
+* :dp:`fls_lcEyToYIlcmf`
+  ``&mut T`` where ``T`` is one of the :t:`[type]s` listed in this
+  enumeration, or
+
+* :dp:`fls_IKSPR7ZQMErU`
+  :std:`core::pin::Pin<T> <core::pin::Pin>` where ``T`` is one of the the :t:`[type]s` listed in this
+  enumeration.
+
+:dp:`fls_oHxzyaiT7Qm6`
+The :t:`visibility modifier` of an :t:`associated trait item` or :t:`associated
+trait implementation item` is rejected, but may still be consumed by
+:t:`[macro]s`.
+
+.. rubric:: Examples
+
+.. code-block:: rust
+
+   trait Greeter {
+       const MAX_GREETINGS: i32;
+
+       fn greet(self, message: &str);
+   }
+
+   struct Implementor {
+       delivered_greetings: i32
+   }
+
+   impl Greeter for Implementor {
+       const MAX_GREETINGS: i32 = 42;
+
+       fn greet(mut self, message: &str) {
+           if self.delivered_greetings < Self::MAX_GREETINGS {
+               self.delivered_greetings += 1;
+               println!("{}", message);
+           }
+       }
+   }
+
+:dp:`fls_znfADVeOvXHD`
+Generic associated type with lifetime bound.
+
+.. code-block:: rust
+
+   trait LendingIterator {
+       type Item<'x> where Self: 'x;
+
+       fn next<'a>(&'a mut self) -> Self::Item<'a>;
+   }