From 1c86a7350fc92d1a667476c39d807e2832b414c6 Mon Sep 17 00:00:00 2001
From: Luc St-Louis <lucs@pobox.com>
Date: Mon, 3 Apr 2023 15:02:19 -0400
Subject: [PATCH] Update Parameter.rakudoc

In the edited example, I see no way how the ::U type capture can be different from the ::T one. So it appears that the possibility of having more than one type capture per argument is useless. If an explanation can be provided, I will gladly edit it back in, with the explanation.
---
 doc/Type/Parameter.rakudoc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/Type/Parameter.rakudoc b/doc/Type/Parameter.rakudoc
index 23d6f42ff5..5ee3802ee0 100644
--- a/doc/Type/Parameter.rakudoc
+++ b/doc/Type/Parameter.rakudoc
@@ -282,9 +282,9 @@ Returns a list of variable names of L<type captures|/language/signatures#Type_ca
 parameter.  Type captures define a type name within the attached code,
 which is an alias to the type gleaned from the argument during a call.
 
-    sub a(::T ::U $x) { T.say }
+    sub a(::T $x) { T.say }
     a(8);                                       # OUTPUT: «(Int)␤»
-    say &a.signature.params[0].type_captures;   # OUTPUT: «(T U)␤»
+    say &a.signature.params[0].type_captures;   # OUTPUT: «(T)␤»
     sub b($x) { $x.^name.say }
     a(8);                                       # OUTPUT: «Int␤»