Links

Author: jackh726

book/src/clauses/type_equality.md

@@ -95,7 +95,7 @@ shortly.
 
 In rustc, they correspond to the `TyKind::UnnormalizedProjectionTy` enum
 variant, declared in [`compiler/rustc_middle/src/ty/sty.rs`][sty]. In chalk, we use an
-[`AssociatedType`].
+`AssociatedType`.
 
 [sty]: https://github.com/rust-lang/rust/blob/master/compiler/rustc_middle/src/ty/sty.rs
 

book/src/types/rust_types.md

@@ -9,7 +9,7 @@ representation of types is controlled by the [`Interner`] trait.
 [`Interner`]: http://rust-lang.github.io/chalk/chalk_ir/interner/trait.Interner.html
 [`Ty`]: http://rust-lang.github.io/chalk/chalk_ir/struct.Ty.html
 [`TyKind`]: http://rust-lang.github.io/chalk/chalk_ir/enum.TyKind.html
-[`data`]: http://rust-lang.github.io/chalk/chalk_ir/struct.Ty.html#method.data
+[`kind`]: http://rust-lang.github.io/chalk/chalk_ir/struct.Ty.html#method.kind
 
 ## The `TyKind` variants and how they map to Rust syntax