From 831759a4438736980574478b29a3e9ab6e837f3f Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Fri, 18 Jun 2021 18:20:07 -0400 Subject: [PATCH] fix typos --- compiler/rustc_mir/src/borrow_check/type_check/mod.rs | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/compiler/rustc_mir/src/borrow_check/type_check/mod.rs b/compiler/rustc_mir/src/borrow_check/type_check/mod.rs index 984a9a7f053..bd951ef72b5 100644 --- a/compiler/rustc_mir/src/borrow_check/type_check/mod.rs +++ b/compiler/rustc_mir/src/borrow_check/type_check/mod.rs @@ -1230,10 +1230,11 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> { /// /// In terms of our function parameters: /// - /// * `anon_ty` would be `Box>` where `Foo` is an opaque type + /// * `anon_ty` would be `Box>` where `Foo` is an opaque type /// scoped to this function (note that it is parameterized by the - /// generics of `foo`). - /// * `revealed_ty` would be `Box<(Foo, u32)>` + /// generics of `foo`). Note that `anon_ty` is not just the opaque type, + /// but the entire return type (which may contain opaque types within it). + /// * `revealed_ty` would be `Box<(T, u32)>` /// * `anon_owner_def_id` would be the def-id of `foo` fn eq_opaque_type_and_type( &mut self,