diff --git a/src/items/generics.md b/src/items/generics.md index 6161d11975..458f6e4a7e 100644 --- a/src/items/generics.md +++ b/src/items/generics.md @@ -11,9 +11,7 @@ LifetimeParam -> Lifetime ( `:` LifetimeBounds )? TypeParam -> IDENTIFIER ( `:` Bounds? )? ( `=` Type )? -ConstParam -> - `const` IDENTIFIER `:` Type - ( `=` ( BlockExpression | IDENTIFIER | `-`?LiteralExpression ) )? +ConstParam -> `const` IDENTIFIER `:` Type ( `=` ConstArg )? ``` r[items.generics.syntax.intro] diff --git a/src/paths.md b/src/paths.md index 98cff23007..4f06cf1595 100644 --- a/src/paths.md +++ b/src/paths.md @@ -62,12 +62,11 @@ TypeList -> ( Type `,` )* Type `,`? GenericArg -> - Lifetime | Type | GenericArgsConst | GenericArgsBinding | GenericArgsBounds + Lifetime | Type | ConstArg | GenericArgsBinding | GenericArgsBounds -GenericArgsConst -> +ConstArg -> BlockExpression - | LiteralExpression - | `-` LiteralExpression + | `-`? LiteralExpression | SimplePathSegment GenericArgsBinding ->