We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 27d71f0 + 88aaf1d commit a863f2cCopy full SHA for a863f2c
src/doc/rustc-dev-guide/src/solve/trait-solving.md
@@ -2,8 +2,7 @@
2
3
This chapter describes how trait solving works with the new WIP solver located in
4
[`rustc_trait_selection/solve`][solve]. Feel free to also look at the docs for
5
-[the current solver](../traits/resolution.md) and [the chalk solver](../traits/chalk.md)
6
-can be found separately.
+[the current solver](../traits/resolution.md) and [the chalk solver](../traits/chalk.md).
7
8
## Core concepts
9
0 commit comments