From 71f2be968b128f489a2384b029ec3d678d085820 Mon Sep 17 00:00:00 2001 From: veetaha Date: Sun, 10 May 2020 21:02:10 +0300 Subject: 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 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::(); /// /// 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::(); /// /// bar::<❰ { 2 + 2} ❱>(); /// ``` -- cgit v1.2.3