Reviews

Author: BoxyUwU

src/items/generics.md

@@ -240,6 +240,12 @@ r[items.generics.const.inferred.intro]
 The inferred const asks the compiler to infer the const argument if possible
 based on the surrounding information available.
 
+```rust
+fn make_buf() -> [u8; 1024] {
+    [0x1; _]
+}
+```
+
 r[items.generics.const.inferred.constraint]
 It cannot be used in item signatures.
 

src/paths.md

@@ -65,6 +65,7 @@ GenericArgsConst ->
     | LiteralExpression
     | `-` LiteralExpression
     | SimplePathSegment
+    | InferredConst
 
 GenericArgsBinding ->
     IDENTIFIER GenericArgs? `=` Type