diff options
| author | lcnr <rust@lcnr.de> | 2025-08-01 15:50:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-01 15:50:18 +0200 |
| commit | 219e4c141dd62e8f026312746fe3d7be0569151f (patch) | |
| tree | 97e722abb125a1015a297c38d974aaddb9676a62 | |
| parent | c277f4e64d67da51329b2112bcbf35f714c64a31 (diff) | |
| parent | ba57bbadc9744686c3e6c17422ad7d392119a028 (diff) | |
| download | rust-219e4c141dd62e8f026312746fe3d7be0569151f.tar.gz rust-219e4c141dd62e8f026312746fe3d7be0569151f.zip | |
Merge pull request #2530 from lcnr/type-system-invariants
fix link
| -rw-r--r-- | src/doc/rustc-dev-guide/src/solve/candidate-preference.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/solve/candidate-preference.md b/src/doc/rustc-dev-guide/src/solve/candidate-preference.md index af066415a71..89605294735 100644 --- a/src/doc/rustc-dev-guide/src/solve/candidate-preference.md +++ b/src/doc/rustc-dev-guide/src/solve/candidate-preference.md @@ -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 \ No newline at end of file |