From 88f9505ee24bfc05a1dc5a3560f4576812a129ed Mon Sep 17 00:00:00 2001 From: Eric Holk Date: Wed, 13 Apr 2022 10:50:14 -0700 Subject: [PATCH] Minor type fix The `'b` in `let y` was an unbound region. Presumably this was meant to be `'c`. --- src/borrow_check/region_inference/placeholders_and_universes.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/borrow_check/region_inference/placeholders_and_universes.md b/src/borrow_check/region_inference/placeholders_and_universes.md index 967aa0d33..91c8c4526 100644 --- a/src/borrow_check/region_inference/placeholders_and_universes.md +++ b/src/borrow_check/region_inference/placeholders_and_universes.md @@ -122,7 +122,7 @@ Now let's extend `bar` a bit by adding one more variable, `y`: ```rust,ignore fn bar<'a, T>(t: &'a T) { let x: for<'b> fn(&'b u32) = ...; - let y: for<'c> fn(&'b u32) = ...; + let y: for<'c> fn(&'c u32) = ...; } ```