Skip to content

Commit b26a1b0

Browse files
committed
wording
1 parent 7525064 commit b26a1b0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,7 @@ It is important to balance the performance of the trait solver with the expressi
4242

4343
## Looking forward and asking for testing
4444

45-
As we believe using the new solver for coherence checking to now be in a stabilization ready state, please test 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).
45+
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).
4646

4747
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.
4848

0 commit comments

Comments
 (0)