diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-08-03 22:30:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-03 22:30:46 +0200 |
| commit | 6919a07eb8dae568eed8f2781d2f3cb0c25ac69e (patch) | |
| tree | 959e6591a9f70e9943e62a033e6f8071ee3f7b6e | |
| parent | d3b573d4c4ddae915ed046bf9dd8a90d76805195 (diff) | |
| parent | 1405ce35acbcd61b9da8ab7ded6201639cb83d52 (diff) | |
| download | rust-6919a07eb8dae568eed8f2781d2f3cb0c25ac69e.tar.gz rust-6919a07eb8dae568eed8f2781d2f3cb0c25ac69e.zip | |
Rollup merge of #100102 - b-naber:typo-higher-ranked-sub, r=Dylan-DPC
Fix typo r? ```@jackh726```
| -rw-r--r-- | compiler/rustc_infer/src/infer/higher_ranked/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_infer/src/infer/higher_ranked/mod.rs b/compiler/rustc_infer/src/infer/higher_ranked/mod.rs index 9bdd437333b..d0d9efe152c 100644 --- a/compiler/rustc_infer/src/infer/higher_ranked/mod.rs +++ b/compiler/rustc_infer/src/infer/higher_ranked/mod.rs @@ -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 |