about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer
diff options
context:
space:
mode:
authorpierwill <pierwill@users.noreply.github.com>2021-10-25 15:43:07 -0500
committerpierwill <pierwill@users.noreply.github.com>2021-11-06 20:59:38 -0500
commit521b1ee974296b4d2ecce79efaa10347642d1e3e (patch)
treeda7fe64daf83e05baa072b5d3415a2e4927370f5 /compiler/rustc_infer/src/infer
parent089a016919b0a9daaed9f676804102d6ba3f8f9d (diff)
downloadrust-521b1ee974296b4d2ecce79efaa10347642d1e3e.tar.gz
rust-521b1ee974296b4d2ecce79efaa10347642d1e3e.zip
Improve terminology around "after typeck"
Diffstat (limited to 'compiler/rustc_infer/src/infer')
-rw-r--r--compiler/rustc_infer/src/infer/mod.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_infer/src/infer/mod.rs b/compiler/rustc_infer/src/infer/mod.rs
index 9dae978dcde..d6d1dfb7113 100644
--- a/compiler/rustc_infer/src/infer/mod.rs
+++ b/compiler/rustc_infer/src/infer/mod.rs
@@ -200,7 +200,7 @@ pub struct InferCtxtInner<'tcx> {
     // Opaque types found in explicit return types and their
     // associated fresh inference variable. Writeback resolves these
     // variables to get the concrete type, which can be used to
-    // 'de-opaque' OpaqueTypeDecl, after typeck is done with all functions.
+    // 'de-opaque' OpaqueTypeDecl outside of type inference.
     pub opaque_types: OpaqueTypeMap<'tcx>,
 
     /// A map from inference variables created from opaque