We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 5839d26 + 1405ce3 commit 71b6f05Copy full SHA for 71b6f05
compiler/rustc_infer/src/infer/higher_ranked/mod.rs
@@ -17,7 +17,7 @@ impl<'a, 'tcx> CombineFields<'a, 'tcx> {
17
///
18
/// This is implemented by first entering a new universe.
19
/// We then replace all bound variables in `sup` with placeholders,
20
- /// and all bound variables in `sup` with inference vars.
+ /// and all bound variables in `sub` with inference vars.
21
/// We can then just relate the two resulting types as normal.
22
23
/// Note: this is a subtle algorithm. For a full explanation, please see
0 commit comments