From 19dab787d1f99dbd40449f555c395b476fdb6bb5 Mon Sep 17 00:00:00 2001 From: Jay Wang Date: Thu, 10 Apr 2025 00:23:16 +0900 Subject: [PATCH] doc: add missing space --- src/subtyping.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/subtyping.md b/src/subtyping.md index c88e0ba86..ca33111f5 100644 --- a/src/subtyping.md +++ b/src/subtyping.md @@ -39,7 +39,7 @@ let subtype: &(dyn for<'a> Fn(&'a i32) -> &'a i32) = &|x| x; let supertype: &(dyn Fn(&'static i32) -> &'static i32) = subtype; // We can also substitute one higher-ranked lifetime for another -let subtype: &(for<'a, 'b> fn(&'a i32, &'b i32))= &((|x, y| {}) as fn(&_, &_)); +let subtype: &(for<'a, 'b> fn(&'a i32, &'b i32)) = &((|x, y| {}) as fn(&_, &_)); let supertype: &for<'c> fn(&'c i32, &'c i32) = subtype; ```