We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 638b2d9 + 19dab78 commit a4ba60fCopy full SHA for a4ba60f
src/subtyping.md
@@ -39,7 +39,7 @@ let subtype: &(dyn for<'a> Fn(&'a i32) -> &'a i32) = &|x| x;
39
let supertype: &(dyn Fn(&'static i32) -> &'static i32) = subtype;
40
41
// We can also substitute one higher-ranked lifetime for another
42
-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(&_, &_));
43
let supertype: &for<'c> fn(&'c i32, &'c i32) = subtype;
44
```
45
0 commit comments