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

Merge pull request #2285 from KonaeAkira/master 

Fix grammar and remove redundant info
This commit is contained in:
Tshepang Mbambo 2025-03-14 08:50:49 +02:00 committed by GitHub
parent 8df06031a8 c20c046b0f
commit 89bab545ed
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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
[`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)
can be found separately.
[the current solver](../traits/resolution.md) and [the chalk solver](../traits/chalk.md).
## Core concepts