From 71f2be968b128f489a2384b029ec3d678d085820 Mon Sep 17 00:00:00 2001
From: veetaha <veetaha2@gmail.com>
Date: Sun, 10 May 2020 21:02:10 +0300
Subject: [PATCH] Verified ConstArg example, waiting for response on what `=`
 sign pertains to

---
 crates/ra_syntax/src/ast/generated/nodes.rs | 2 +-
 xtask/src/ast_src.rs                        | 7 +++----
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/crates/ra_syntax/src/ast/generated/nodes.rs b/crates/ra_syntax/src/ast/generated/nodes.rs
index 2b652dcb50..29345dc05c 100644
--- a/crates/ra_syntax/src/ast/generated/nodes.rs
+++ b/crates/ra_syntax/src/ast/generated/nodes.rs
@@ -2446,7 +2446,7 @@ impl LifetimeArg {
 /// Constant value argument that is passed at generic instantiation site.
 ///
 /// ```
-/// foo::<❰ u32 ❱, ❰ true ❱>();
+/// foo::<u32, ❰ { true } ❱>();
 ///
 /// bar::<❰ { 2 + 2} ❱>();
 /// ```
diff --git a/xtask/src/ast_src.rs b/xtask/src/ast_src.rs
index 815c5f8856..8999efc75e 100644
--- a/xtask/src/ast_src.rs
+++ b/xtask/src/ast_src.rs
@@ -1966,7 +1966,6 @@ pub(crate) const AST_SRC: AstSrc = AstSrc {
         ///
         struct AssocTypeArg : TypeBoundsOwner { NameRef, T![=], TypeRef }
 
-        // TODO: verify?
         /// Lifetime argument that is passed at generic instantiation site.
         ///
         /// ```
@@ -1978,12 +1977,12 @@ pub(crate) const AST_SRC: AstSrc = AstSrc {
         /// [Reference](https://doc.rust-lang.org/reference/paths.html#paths-in-expressions)
         struct LifetimeArg { T![lifetime] }
 
-        // TODO: does this peratain to const generics?
-        // What does equal sign do here?
+
+        // TODO: What does equal sign do here?
         /// Constant value argument that is passed at generic instantiation site.
         ///
         /// ```
-        /// foo::<❰ u32 ❱, ❰ true ❱>();
+        /// foo::<u32, ❰ { true } ❱>();
         ///
         /// bar::<❰ { 2 + 2} ❱>();
         /// ```