diff options
| author | Tshepang Mbambo <tshepang@gmail.com> | 2022-08-17 12:29:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-17 19:29:27 +0900 |
| commit | 5e97e7482a5273b6a539b8d14ad9f52de6513c1b (patch) | |
| tree | 3c43b24b4fd4e93a7fe52de535f9ce44613372c1 /src/doc/rustc-dev-guide | |
| parent | 9ad2e8ca11f0e3c006ffcf6b86e58a47e48a4c48 (diff) | |
| download | rust-5e97e7482a5273b6a539b8d14ad9f52de6513c1b.tar.gz rust-5e97e7482a5273b6a539b8d14ad9f52de6513c1b.zip | |
fix lifetime name (#1431)
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/type-inference.md | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/doc/rustc-dev-guide/src/type-inference.md b/src/doc/rustc-dev-guide/src/type-inference.md index c3467a3a8be..10f1dd5efcc 100644 --- a/src/doc/rustc-dev-guide/src/type-inference.md +++ b/src/doc/rustc-dev-guide/src/type-inference.md @@ -45,11 +45,9 @@ tcx.infer_ctxt().enter(|infcx| { }) ``` -Within the closure, `infcx` has the type `InferCtxt<'cx, 'tcx>` for some -fresh `'cx`, while `'tcx` is the same as outside the inference context. -(Again, see the [`ty` chapter][ty-ch] for more details on this setup.) - -[ty-ch]: ty.html +Within the closure, +`infcx` has the type `InferCtxt<'a, 'tcx>` for some fresh `'a`, +while `'tcx` is the same as outside the inference context. The `tcx.infer_ctxt` method actually returns a builder, which means there are some kinds of configuration you can do before the `infcx` is |