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