diff options
| author | Emmanuel Ferdman <emmanuelferdman@gmail.com> | 2025-07-02 16:16:33 -0700 |
|---|---|---|
| committer | Emmanuel Ferdman <emmanuelferdman@gmail.com> | 2025-07-02 16:16:33 -0700 |
| commit | 9ce91f7a2884080a2231d08ed7bdeb04d91f002d (patch) | |
| tree | 5b49e969eca831d415cfa755a8e0c59cdb770d79 | |
| parent | 1ce9c977ffcff7c3b12bfe5629a682da0e74a7a1 (diff) | |
| download | rust-9ce91f7a2884080a2231d08ed7bdeb04d91f002d.tar.gz rust-9ce91f7a2884080a2231d08ed7bdeb04d91f002d.zip | |
update coherence example
Signed-off-by: Emmanuel Ferdman <emmanuelferdman@gmail.com>
| -rw-r--r-- | src/doc/rustc-dev-guide/src/solve/opaque-types.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/solve/opaque-types.md b/src/doc/rustc-dev-guide/src/solve/opaque-types.md index 6898ef3aa78..8880962d621 100644 --- a/src/doc/rustc-dev-guide/src/solve/opaque-types.md +++ b/src/doc/rustc-dev-guide/src/solve/opaque-types.md @@ -56,7 +56,7 @@ Finally, we check whether the item bounds of the opaque hold for the expected ty [source][item-bounds-ck]. [norm]: https://github.com/rust-lang/rust/blob/384d26fc7e3bdd7687cc17b2662b091f6017ec2a/compiler/rustc_trait_selection/src/solve/normalizes_to/opaque_types.rs#L13 -[coherence-example]: https://github.com/rust-lang/rust/blob/master/tests/ui/type-alias-impl-trait/coherence_different_hidden_ty.rs +[coherence-example]: https://github.com/rust-lang/rust/blob/master/tests/ui/type-alias-impl-trait/coherence/coherence_different_hidden_ty.rs [placeholder-ck]: https://github.com/rust-lang/rust/blob/384d26fc7e3bdd7687cc17b2662b091f6017ec2a/compiler/rustc_trait_selection/src/solve/normalizes_to/opaque_types.rs#L33 [check-storage]: https://github.com/rust-lang/rust/blob/384d26fc7e3bdd7687cc17b2662b091f6017ec2a/compiler/rustc_trait_selection/src/solve/normalizes_to/opaque_types.rs#L51-L52 [eq-prev]: https://github.com/rust-lang/rust/blob/384d26fc7e3bdd7687cc17b2662b091f6017ec2a/compiler/rustc_trait_selection/src/solve/normalizes_to/opaque_types.rs#L51-L59 |