diff options
| author | Mark Mansi <markm@cs.wisc.edu> | 2020-02-20 09:55:33 -0600 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2020-02-20 16:01:35 -0600 |
| commit | 5110fc2ea233f95b6e8040ea4947e008dc4b8a6c (patch) | |
| tree | f9f4b3641a9d26de1495a39b3f55bc2fc56ab995 /src/doc/rustc-dev-guide | |
| parent | 59fd3331a67d8e83f6143de352391fb5ba3db1df (diff) | |
| download | rust-5110fc2ea233f95b6e8040ea4947e008dc4b8a6c.tar.gz rust-5110fc2ea233f95b6e8040ea4947e008dc4b8a6c.zip | |
add back link
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/type-inference.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/doc/rustc-dev-guide/src/type-inference.md b/src/doc/rustc-dev-guide/src/type-inference.md index a0ae13384fc..dca93dbdf3f 100644 --- a/src/doc/rustc-dev-guide/src/type-inference.md +++ b/src/doc/rustc-dev-guide/src/type-inference.md @@ -47,6 +47,8 @@ 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 + The `tcx.infer_ctxt` method actually returns a builder, which means there are some kinds of configuration you can do before the `infcx` is created. See `InferCtxtBuilder` for more information. |