Admit turbofish and path-segment keywords in associated item constraints

fmease · fmease · commit 3496d7e386cf · 2026-05-06T15:35:41.000+02:00
diff --git a/src/paths.md b/src/paths.md
@@ -71,10 +71,10 @@ GenericArgsConst ->
     | SimplePathSegment
 
 GenericArgsBinding ->
-    IDENTIFIER GenericArgs? `=` Type
+    TypePathSegment `=` Type
 
 GenericArgsBounds ->
-    IDENTIFIER GenericArgs? `:` Bounds
+    TypePathSegment `:` Bounds
 ```
 
 r[paths.expr.intro]
