diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_mir/src/borrow_check/type_check/mod.rs | 7 |
1 files 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<Foo<T>>` where `Foo` is an opaque type + /// * `anon_ty` would be `Box<Foo<T>>` where `Foo<T>` is an opaque type /// scoped to this function (note that it is parameterized by the - /// generics of `foo`). - /// * `revealed_ty` would be `Box<(Foo<T>, 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, |