diff options
| author | Benjamin Peterson <benjamin@python.org> | 2020-10-20 23:22:34 -0500 |
|---|---|---|
| committer | Benjamin Peterson <benjamin@python.org> | 2020-12-03 23:38:36 -0600 |
| commit | 76ff0f408ac46d4b22b9a09898ccece3a7ca92ac (patch) | |
| tree | d333c31f50b4b212c583f5a3f12a3f31eb8521a2 | |
| parent | 4d8a7c282935ccb4452e371c1f572e75b7fd180e (diff) | |
| download | rust-76ff0f408ac46d4b22b9a09898ccece3a7ca92ac.tar.gz rust-76ff0f408ac46d4b22b9a09898ccece3a7ca92ac.zip | |
The details of higher-rank sub are in the rustc book not a doc module.
| -rw-r--r-- | compiler/rustc_infer/src/infer/higher_ranked/mod.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/rustc_infer/src/infer/higher_ranked/mod.rs b/compiler/rustc_infer/src/infer/higher_ranked/mod.rs index 9d9ecf5b384..39043980dc4 100644 --- a/compiler/rustc_infer/src/infer/higher_ranked/mod.rs +++ b/compiler/rustc_infer/src/infer/higher_ranked/mod.rs @@ -24,9 +24,9 @@ impl<'a, 'tcx> CombineFields<'a, 'tcx> { // as-is, we need to do some extra work here in order to make sure // that function subtyping works correctly with respect to regions // - // Note: this is a subtle algorithm. For a full explanation, - // please see the large comment at the end of the file in the (inlined) module - // `doc`. + // Note: this is a subtle algorithm. For a full explanation, please see + // the rustc dev guide: + // <https://rustc-dev-guide.rust-lang.org/borrow_check/region_inference/placeholders_and_universes.html> let span = self.trace.cause.span; |