mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix grammar and remove redundant info

This commit is contained in:
KonaeAkira 2025-03-13 23:56:04 +01:00
parent 8df06031a8
commit c20c046b0f
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/solve/trait-solving.md
View File

@ -2,8 +2,7 @@
This chapter describes how trait solving works with the new WIP solver located in This chapter describes how trait solving works with the new WIP solver located in
[`rustc_trait_selection/solve`][solve]. Feel free to also look at the docs for [`rustc_trait_selection/solve`][solve]. Feel free to also look at the docs for
[the current solver](../traits/resolution.md) and [the chalk solver](../traits/chalk.md) [the current solver](../traits/resolution.md) and [the chalk solver](../traits/chalk.md).
can be found separately.
## Core concepts ## Core concepts