user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #2530 from lcnr/type-system-invariants

Browse source 
fix link
This commit is contained in:
lcnr 2025-08-01 15:50:18 +02:00 • committed by GitHub
commit 219e4c141d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/doc/rustc-dev-guide/src/solve/candidate-preference.md
View file

@ -94,7 +94,7 @@ fn overflow<T: Trait>() {
}
```
This preference causes a lot of issues. See https://github.com/rust-lang/rust/issues/24066. Most of the
This preference causes a lot of issues. See [#24066]. Most of the
issues are caused by prefering where-bounds over impls even if the where-bound guides type inference:
```rust
trait Trait<T> {
@ -423,4 +423,5 @@ where
[`fn merge_trait_candidates`]: https://github.com/rust-lang/rust/blob/e3ee7f7aea5b45af3b42b5e4713da43876a65ac9/compiler/rustc_next_trait_solver/src/solve/trait_goals.rs#L1342-L1424
[`fn assemble_and_merge_candidates`]: https://github.com/rust-lang/rust/blob/e3ee7f7aea5b45af3b42b5e4713da43876a65ac9/compiler/rustc_next_trait_solver/src/solve/assembly/mod.rs#L920-L1003
[trait-system-refactor-initiative#76]: https://github.com/rust-lang/trait-system-refactor-initiative/issues/76
[#24066]: https://github.com/rust-lang/rust/issues/24066
[#133044]: https://github.com/rust-lang/rust/issues/133044