From 1405ce35acbcd61b9da8ab7ded6201639cb83d52 Mon Sep 17 00:00:00 2001 From: b-naber Date: Wed, 3 Aug 2022 11:04:10 +0200 Subject: [PATCH] fix typo --- compiler/rustc_infer/src/infer/higher_ranked/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/rustc_infer/src/infer/higher_ranked/mod.rs b/compiler/rustc_infer/src/infer/higher_ranked/mod.rs index e543ae1fcdab1..4608d3984ac1d 100644 --- a/compiler/rustc_infer/src/infer/higher_ranked/mod.rs +++ b/compiler/rustc_infer/src/infer/higher_ranked/mod.rs @@ -16,7 +16,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