diff options
author | veetaha <[email protected]> | 2020-05-10 19:02:10 +0100 |
---|---|---|
committer | veetaha <[email protected]> | 2020-05-10 19:02:21 +0100 |
commit | 71f2be968b128f489a2384b029ec3d678d085820 (patch) | |
tree | 72fe8c5029b549cbceb9f6c58cb254da48f8512e /xtask | |
parent | f6fd4c4a74b768f05c3dff8e991066e425ebc368 (diff) |
Verified ConstArg example, waiting for response on what `=` sign pertains to
Diffstat (limited to 'xtask')
-rw-r--r-- | xtask/src/ast_src.rs | 7 |
1 files changed, 3 insertions, 4 deletions
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 { | |||
1966 | /// | 1966 | /// |
1967 | struct AssocTypeArg : TypeBoundsOwner { NameRef, T![=], TypeRef } | 1967 | struct AssocTypeArg : TypeBoundsOwner { NameRef, T![=], TypeRef } |
1968 | 1968 | ||
1969 | // TODO: verify? | ||
1970 | /// Lifetime argument that is passed at generic instantiation site. | 1969 | /// Lifetime argument that is passed at generic instantiation site. |
1971 | /// | 1970 | /// |
1972 | /// ``` | 1971 | /// ``` |
@@ -1978,12 +1977,12 @@ pub(crate) const AST_SRC: AstSrc = AstSrc { | |||
1978 | /// [Reference](https://doc.rust-lang.org/reference/paths.html#paths-in-expressions) | 1977 | /// [Reference](https://doc.rust-lang.org/reference/paths.html#paths-in-expressions) |
1979 | struct LifetimeArg { T![lifetime] } | 1978 | struct LifetimeArg { T![lifetime] } |
1980 | 1979 | ||
1981 | // TODO: does this peratain to const generics? | 1980 | |
1982 | // What does equal sign do here? | 1981 | // TODO: What does equal sign do here? |
1983 | /// Constant value argument that is passed at generic instantiation site. | 1982 | /// Constant value argument that is passed at generic instantiation site. |
1984 | /// | 1983 | /// |
1985 | /// ``` | 1984 | /// ``` |
1986 | /// foo::<❰ u32 ❱, ❰ true ❱>(); | 1985 | /// foo::<u32, ❰ { true } ❱>(); |
1987 | /// | 1986 | /// |
1988 | /// bar::<❰ { 2 + 2} ❱>(); | 1987 | /// bar::<❰ { 2 + 2} ❱>(); |
1989 | /// ``` | 1988 | /// ``` |