From 38dc05cba0ee144f68468bcee2e70a669c5a7023 Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Sun, 14 Aug 2022 15:56:25 +0200 Subject: [PATCH] fix lifetime name Also - remove stale reference - I don't see how ty chapter explains anything here --- 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 c3467a3a8..10f1dd5ef 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