Skip to content

Commit 9dabea1

Browse files
committed
fix canonicalization links
1 parent f8d394e commit 9dabea1

File tree

6 files changed

+9
-9
lines changed

6 files changed

+9
-9
lines changed

Diff for: src/librustc_infer/infer/canonical/canonicalizer.rs

+3-3
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
//! For an overview of what canonicalization is and how it fits into
44
//! rustc, check out the [chapter in the rustc dev guide][c].
55
//!
6-
//! [c]: https://rustc-dev-guide.rust-lang.org/traits/canonicalization.html
6+
//! [c]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html
77
88
use crate::infer::canonical::{
99
Canonical, CanonicalTyVarKind, CanonicalVarInfo, CanonicalVarKind, Canonicalized,
@@ -35,7 +35,7 @@ impl<'cx, 'tcx> InferCtxt<'cx, 'tcx> {
3535
/// To get a good understanding of what is happening here, check
3636
/// out the [chapter in the rustc dev guide][c].
3737
///
38-
/// [c]: https://rustc-dev-guide.rust-lang.org/traits/canonicalization.html#canonicalizing-the-query
38+
/// [c]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html#canonicalizing-the-query
3939
pub fn canonicalize_query<V>(
4040
&self,
4141
value: &V,
@@ -79,7 +79,7 @@ impl<'cx, 'tcx> InferCtxt<'cx, 'tcx> {
7979
/// To get a good understanding of what is happening here, check
8080
/// out the [chapter in the rustc dev guide][c].
8181
///
82-
/// [c]: https://rustc-dev-guide.rust-lang.org/traits/canonicalization.html#canonicalizing-the-query-result
82+
/// [c]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html#canonicalizing-the-query-result
8383
pub fn canonicalize_response<V>(&self, value: &V) -> Canonicalized<'tcx, V>
8484
where
8585
V: TypeFoldable<'tcx>,

Diff for: src/librustc_infer/infer/canonical/mod.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@
1919
//! For a more detailed look at what is happening here, check
2020
//! out the [chapter in the rustc dev guide][c].
2121
//!
22-
//! [c]: https://rustc-dev-guide.rust-lang.org/traits/canonicalization.html
22+
//! [c]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html
2323
2424
use crate::infer::{ConstVariableOrigin, ConstVariableOriginKind};
2525
use crate::infer::{InferCtxt, RegionVariableOrigin, TypeVariableOrigin, TypeVariableOriginKind};

Diff for: src/librustc_infer/infer/canonical/query_response.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
//! For an overview of what canonicaliation is and how it fits into
66
//! rustc, check out the [chapter in the rustc dev guide][c].
77
//!
8-
//! [c]: https://rustc-dev-guide.rust-lang.org/traits/canonicalization.html
8+
//! [c]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html
99
1010
use crate::infer::canonical::substitute::{substitute_value, CanonicalExt};
1111
use crate::infer::canonical::{
@@ -154,7 +154,7 @@ impl<'cx, 'tcx> InferCtxt<'cx, 'tcx> {
154154
/// To get a good understanding of what is happening here, check
155155
/// out the [chapter in the rustc dev guide][c].
156156
///
157-
/// [c]: https://rustc-dev-guide.rust-lang.org/traits/canonicalization.html#processing-the-canonicalized-query-result
157+
/// [c]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html#processing-the-canonicalized-query-result
158158
pub fn instantiate_query_response_and_region_obligations<R>(
159159
&self,
160160
cause: &ObligationCause<'tcx>,

Diff for: src/librustc_infer/infer/canonical/substitute.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
//! For an overview of what canonicalization is and how it fits into
55
//! rustc, check out the [chapter in the rustc dev guide][c].
66
//!
7-
//! [c]: https://rustc-dev-guide.rust-lang.org/traits/canonicalization.html
7+
//! [c]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html
88
99
use crate::infer::canonical::{Canonical, CanonicalVarValues};
1010
use rustc_middle::ty::fold::TypeFoldable;

Diff for: src/librustc_middle/infer/canonical.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -19,7 +19,7 @@
1919
//! For a more detailed look at what is happening here, check
2020
//! out the [chapter in the rustc dev guide][c].
2121
//!
22-
//! [c]: https://rustc-dev-guide.rust-lang.org/traits/canonicalization.html
22+
//! [c]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html
2323
2424
use crate::infer::MemberConstraint;
2525
use crate::ty::subst::GenericArg;

Diff for: src/librustc_trait_selection/traits/query/type_op/mod.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ pub trait TypeOp<'tcx>: Sized + fmt::Debug {
4444
/// first canonicalize the key and then invoke the query on the tcx,
4545
/// which produces the resulting query region constraints.
4646
///
47-
/// [c]: https://rustc-dev-guide.rust-lang.org/traits/canonicalization.html
47+
/// [c]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html
4848
pub trait QueryTypeOp<'tcx>: fmt::Debug + Sized + TypeFoldable<'tcx> + 'tcx {
4949
type QueryResponse: TypeFoldable<'tcx>;
5050

0 commit comments

Comments
 (0)