File tree 1 file changed +1
-2
lines changed
1 file changed +1
-2
lines changed Original file line number Diff line number Diff line change @@ -32,7 +32,7 @@ compiler doesn’t naively allocate from the buffer. Instead, we check if that
32
32
type was already constructed. If it was, we just get the same pointer we had
33
33
before, otherwise we make a fresh pointer. With this schema if we want to know
34
34
if two types are the same, all we need to do is compare the pointers which is
35
- efficient. [ ` TyKind ` ] should never be constructed on the stack, and it would be unusable
35
+ efficient. [ ` ty:: TyKind` ] should never be constructed on the stack, and it would be unusable
36
36
if done so.
37
37
You always allocate them from this arena and you always intern them so they are
38
38
unique.
@@ -65,7 +65,6 @@ represented as a slice `&'tcx [tcx.types.i32, tcx.types.u32]`).
65
65
[ `Predicate` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/struct.Predicate.html
66
66
[ `TraitRef` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/struct.TraitRef.html
67
67
[ `ty::TyKind` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/sty/type.TyKind.html
68
- [ `TyKind` ] : https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/ty_kind/enum.TyKind.html
69
68
[ traits ] : ./traits/resolution.md
70
69
71
70
## The ` tcx ` and how it uses lifetimes
You can’t perform that action at this time.
0 commit comments