Skip to content

Commit 831759a

Browse files
committed
fix typos
1 parent f6adaed commit 831759a

File tree

1 file changed

+4
-3
lines changed
  • compiler/rustc_mir/src/borrow_check/type_check

1 file changed

+4
-3
lines changed

compiler/rustc_mir/src/borrow_check/type_check/mod.rs

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1230,10 +1230,11 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
12301230
///
12311231
/// In terms of our function parameters:
12321232
///
1233-
/// * `anon_ty` would be `Box<Foo<T>>` where `Foo` is an opaque type
1233+
/// * `anon_ty` would be `Box<Foo<T>>` where `Foo<T>` is an opaque type
12341234
/// scoped to this function (note that it is parameterized by the
1235-
/// generics of `foo`).
1236-
/// * `revealed_ty` would be `Box<(Foo<T>, u32)>`
1235+
/// generics of `foo`). Note that `anon_ty` is not just the opaque type,
1236+
/// but the entire return type (which may contain opaque types within it).
1237+
/// * `revealed_ty` would be `Box<(T, u32)>`
12371238
/// * `anon_owner_def_id` would be the def-id of `foo`
12381239
fn eq_opaque_type_and_type(
12391240
&mut self,

0 commit comments

Comments
 (0)