reviews

Author: BoxyUwU

posts/inside-rust/2025-03-07-inferred-const-generic-arguments.md

@@ -19,7 +19,7 @@ fn foo() {
 }
 ```
 
-This is entirely a syntactic limitation; writing `_` is disallowed but it is still possible to elide generic argument listings that may involve const arguments:
+This is entirely a syntactic limitation; it is possible to entirely elide generic argument listings that may involve const arguments:
 ```rust
 fn foo<const N: usize>(_: [u8; N]) {}
 
@@ -34,7 +34,7 @@ fn bar() {
 
 The compiler has always been able to infer values for const generic parameters, only the ability to explicitly ask for a const argument to be inferred is unstable.
 
-`feature(generic_arg_infer)`  also allows you to infer the length of a repeat expression. This was previously not possible without moving the expression into a separate function generic over the array length.
+It is currently also not possible to the infer the length of a repeat expression. Doing so would require moving the expression into a separate function generic over the array length.
 
 ```rust
 fn foo() {
@@ -43,17 +43,17 @@ fn foo() {
 }
 ```
 
-This feature allows all of the previous examples to compile, which should hopefully feel like something that should "obviously" be supported by Rust.
+With `feature(generic_arg_infer)` all of the previous examples compile. This should hopefully feel like something that should "obviously" be supported by Rust.
 
 ## What comes next
 
 We have [significantly reworked the implementation](https://github.com/rust-lang/rust/pull/135272) of this recently and it should now be ready for stabilization. We'd love for you to try it out on a recent nightly and report any issues you encounter.
 
 ## Acknowledgements
 
-My recent push to make this feature ready for testing would not have been possible without the help of many others.
+My recent push to make this feature ready for testing would not have been possible without the help of many others:
 
-[@lcnr][lcnr] and [@JulianKnodt][JulianKnodt] for the initial implementation of `generic_arg_infer`, [@camelid][camelid] for refactoring our representation of const geneic arguments to be more flexible, [@voidc][voidc] for helping unify the way we operate on array lengths and const generic arguments, [@lcnr][lcnr] for design work on abstracting away differences between inferred type/const/generic arguments, and finally [@compiler-errors][compiler-errors] for reviewing many PRs and implementation decisions made as part of work on this feature.
+A big thank you to [@lcnr][lcnr] and [@JulianKnodt][JulianKnodt] for the initial implementation of `generic_arg_infer`, [@camelid][camelid] for refactoring our representation of const generic arguments to be more flexible, [@voidc][voidc] for helping unify the way we operate on array lengths and const generic arguments, [@lcnr][lcnr] for design work on abstracting away differences between inferred type/const/generic arguments, and finally [@compiler-errors][compiler-errors] for reviewing many PRs and implementation decisions made as part of work on this feature.
 
 [lcnr]: https://github.com/lcnr
 [JulianKnodt]: https://github.com/JulianKnodt