From 2516c3be2558b07b71bf1f878a7c35658bb022cf Mon Sep 17 00:00:00 2001
From: Lukas Wirth <lukastw97@gmail.com>
Date: Mon, 29 Jan 2024 14:31:53 +0100
Subject: [PATCH] Update to 1.75.0

---
 src/associated-items.rst | 18 ++++++++++++++++++
 src/expressions.rst      |  4 ++++
 src/glossary.rst         |  2 +-
 3 files changed, 23 insertions(+), 1 deletion(-)

diff --git a/src/associated-items.rst b/src/associated-items.rst
index 71b20f06..a8e71032 100644
--- a/src/associated-items.rst
+++ b/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`.
 
diff --git a/src/expressions.rst b/src/expressions.rst
index 198db0e2..4f36bef2 100644
--- a/src/expressions.rst
+++ b/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`
diff --git a/src/glossary.rst b/src/glossary.rst
index 7a9debec..02f85914 100644
--- a/src/glossary.rst
+++ b/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: