Merge #480

480: Update to 1.75.0 r=pietroalbini a=Veykril



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

Author: bors-ferrocene[bot]

src/associated-items.rst

@@ -107,6 +107,14 @@ within a :t:`trait`.
 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`.
@@ -136,6 +144,16 @@ is equivalent to a :t:`where clause` of the following form:
    	    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`.
 

src/expressions.rst

@@ -345,6 +345,10 @@ The :t:`evaluation` of a :t:`constant expression` that results in
 It is a static error if a :t:`constant expression` either :t:`[panic]s` or
 control reaches the invocation of :t:`macro` :std:`core::panic`.
 
+:dp:`fls_XopG4yS9Q4q1`
+It is a static error if the evaluation of a :t:`constant expression` results in
+a :t:`value` that is unaligned.
+
 .. rubric:: Dynamic Semantics
 
 :dp:`fls_tg0kya5125jt`

src/glossary.rst

@@ -4526,7 +4526,7 @@ null
 ^^^^
 
 :dp:`fls_8sh17t37b2ml`
-A :dc:`null` :t:`value` denotes a tool-defined address.
+A :dc:`null` :t:`value` denotes the address ``0``.
 
 .. _fls_a0qsojiymgjy: