use commas

Author: lcnr

posts/inside-rust/2023-12-22-trait-system-refactor-initiative.md

@@ -44,7 +44,7 @@ It is important to balance the performance of the trait solver with the expressi
 
 As we believe using the new solver for coherence checking to now be in a stabilization ready state, please try out the new implementation by enabling the unstable `-Znext-solver=coherence` compiler flag. In case you encounter any behavior or performance regressions, diagnostics issues, or even unsoundnesses[^1], please [open an issue on GitHub](https://github.com/rust-lang/rust/issues).
 
-Using the new solver during coherence checking will improve the behavior in some edge-cases, fixing at least one - pretty much unexploitable - [unsoundness](https://github.com/rust-lang/rust/issues/102048). It will also allow us to remove support for "intercrate mode" in the existing solver. However, most of the positive impact from using the new solver[^2] will only apply once it is used in more areas.
+Using the new solver during coherence checking will improve the behavior in some edge-cases, fixing at least one, pretty much unexploitable, [unsoundness](https://github.com/rust-lang/rust/issues/102048). It will also allow us to remove support for "intercrate mode" in the existing solver. However, most of the positive impact from using the new solver[^2] will only apply once it is used in more areas.
 
 We therefore intend to slightly delay the stabilization of its use in coherence to make sure our design choices will not cause complications down the road. Going forward we will refocus our work on enabling the new solver everywhere. By fixing more of the remaining issues with `-Znext-solver=globally`, we should get additional confidence in our approach to overflow handling. We expect to actually stabilize the use of the new solver in coherence in March of 2024 and intend to provide additional learning materials and documentation before then.