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]>

Author: bors-ferrocene[bot]

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.

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.