Specify no binding collisions being allowed in fn param lists

Author: Veykril

src/expressions.rst

@@ -3587,6 +3587,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` returns.
 
@@ -183,4 +186,3 @@ program. A :t:`main function` is subject to the following restrictions:
    }
 
    fn main() {}
-