Merge #473

473: Specify no binding collisions being allowed in fn param lists r=pietroalbini a=Veykril Fixes #464 Co-authored-by: Lukas Wirth <[email protected]>
ferrocene · Nov 16, 2023 · 7f1f377 · 7f1f377
2 parents 4cc06da + bb122e4
commit 7f1f377
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/src/expressions.rst b/src/expressions.rst
@@ -3624,6 +3624,9 @@ site of a :t:`call expression` or a :t:`method call expression`.
 The :t:`pattern` of a :t:`closure parameter` shall be an
 :t:`irrefutable pattern`.
 
+:dp:`fls_qPeOL6ZhXsgH`
+The :t:`[binding]s` of all :t:`[pattern]s` of all :t:`[closure parameter]s` of a :t:`closure expression` shall not shadow another.
+
 :dp:`fls_yn30xuejcfxo`
 The :t:`type` of a :t:`closure expression` is the unique anonymous
 :t:`closure type` defined by it.

diff --git a/src/functions.rst b/src/functions.rst
@@ -83,6 +83,9 @@ it is an :t:`external function`.
 The :t:`pattern` of a :t:`function parameter` shall be an :t:`irrefutable
 pattern`.
 
+:dp:`fls_PGDKWK7nPvgw`
+The :t:`[binding]s` of all :t:`[pattern]s` of all :t:`[function parameter]s` of a :t:`function` shall not shadow another.
+
 :dp:`fls_vljy4mm0zca2`
 A :t:`return type` is the :t:`type` of the result a :t:`function`, :t:`closure type` or :t:`function pointer type` returns.