Skip to content

Commit

Permalink
Rollup merge of #100102 - b-naber:typo-higher-ranked-sub, r=Dylan-DPC
Browse files Browse the repository at this point in the history
Fix typo

r? ```@jackh726```
  • Loading branch information
matthiaskrgr authored Aug 3, 2022
2 parents d3b573d + 1405ce3 commit 6919a07
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion compiler/rustc_infer/src/infer/higher_ranked/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ impl<'a, 'tcx> CombineFields<'a, 'tcx> {
///
/// This is implemented by first entering a new universe.
/// We then replace all bound variables in `sup` with placeholders,
/// and all bound variables in `sup` with inference vars.
/// and all bound variables in `sub` with inference vars.
/// We can then just relate the two resulting types as normal.
///
/// Note: this is a subtle algorithm. For a full explanation, please see
Expand Down

0 comments on commit 6919a07

Please sign in to comment.