From 8ee1ff5a9e47a397c39b9409bcd3a6b4686a6993 Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Wed, 17 Aug 2022 12:29:27 +0200 Subject: [PATCH] fix lifetime name (#1431) --- src/type-inference.md | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/src/type-inference.md b/src/type-inference.md index c3467a3a..10f1dd5e 100644 --- a/src/type-inference.md +++ b/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