Specify associated type bounds

Author: Veykril

src/generics.rst

@@ -311,13 +311,17 @@ Generic Arguments
 
    GenericArgument ::=
        BindingArgument
+     | BindingBoundArgument
      | ConstantArgument
      | LifetimeArgument
      | TypeArgument
 
    BindingArgument ::=
        Identifier $$=$$ TypeSpecification
 
+   BindingBoundArgument ::=
+       Identifier $$:$$ TypeBoundList
+
    ConstantArgument ::=
        BlockExpression
      | $$-$$? LiteralExpression
@@ -349,6 +353,16 @@ A :s:`LifetimeArgument` shall precede :s:`[BindingArgument]s`,
 A :t:`binding argument` is a :t:`generic argument` that supplies the :t:`type`
 of an :t:`associated trait type`.
 
+:dp:`fls_mcUMWsYcxzmZ`
+A :t:`binding bound argument` is a :t:`generic argument` that further imposes
+:t:`[bound]s` on an :t:`associated trait type`.
+
+:dp:`fls_dxMfAI4EZVS5`
+A :t:`binding bound argument` shall only be used within the confines of a
+:t:`type bound predicate`'s :t:`[bound]s`, :t:`[impl trait type]`'s
+:t:`[bound]s`, :t:`associated type`'s :t:`[bound]s` or :t:`trait`'s
+:t:`[supertrait]s`.
+
 :dp:`fls_i3z9ueoe99zd`
 A :t:`constant argument` is a :t:`generic argument` that supplies the
 :t:`value` of a :t:`constant parameter`.

src/glossary.rst

@@ -699,6 +699,15 @@ binding argument
 A :dt:`binding argument` is a :t:`generic argument` that supplies the :t:`type`
 of an :t:`associated trait type`.
 
+.. _fls_t2cit5QOte8U:
+
+binding bound argument
+^^^^^^^^^^^^^^^^^^^^^^
+
+:dp:`fls_D3i3n4RIReCA`
+A :dt:`binding bound argument` is a :t:`generic argument` that further imposes
+:t:`[bound]s` on an :t:`associated trait type`.
+
 .. _fls_bv1k866tai6j:
 
 binding mode
@@ -4068,7 +4077,6 @@ main function signature
 ^^^^^^^^^^^^^^^^^^^^^^^
 
 :dp:`fls_QijObGZEIykU`
-
 A :dt:`main function signature` is a :t:`function signature` subject to specific
 restrictions.