Verified ConstArg example, waiting for response on what `=` sign pertains to

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 2b652dcb5..29345dc05 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 815c5f885..8999efc75 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} ❱>();
         /// ```