Skip to content
This repository was archived by the owner on May 28, 2025. It is now read-only.

Commit 8c6c97d

Browse files
committed
use the right case
1 parent c1de624 commit 8c6c97d

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src/doc/rustc-dev-guide/src/ty-fold.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# `TypeFoldable` and `TypeFolder`
22

3-
In [a previous chapter], we discussed instantiating binders. This must involves looking at everything inside of a `Early/Binder`
4-
to find any usages of the bound vars in order to replace them. Binders can wrap an arbitrary rust type `T` not just a `Ty` so
3+
In [a previous chapter], we discussed instantiating binders. This involves looking at everything inside of a `Early/Binder`
4+
to find any usages of the bound vars in order to replace them. Binders can wrap an arbitrary Rust type `T` not just a `Ty` so
55
how do we implement the `instantiate` methods on the `Early/Binder` types.
66

77
The answer is a couple of traits:
@@ -20,7 +20,7 @@ that takes a type as input and returns a new type as a result. `TypeFoldable` in
2020
`TypeFolder` `fold_foo` methods on itself, giving the `TypeFolder` access to its contents (the
2121
types, regions, etc that are contained within).
2222

23-
You can think of it with this analogy to the iterator combinators we have come to love in rust:
23+
You can think of it with this analogy to the iterator combinators we have come to love in Rust:
2424

2525
```rust,ignore
2626
vec.iter().map(|e1| foo(e2)).collect()

0 commit comments

Comments
 (0)