Rollup merge of #100102 - b-naber:typo-higher-ranked-sub, r=Dylan-DPC
Fix typo r? ```@jackh726```
This commit is contained in:
commit
6919a07eb8
1 changed files with 1 additions and 1 deletions
|
@ -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
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue