File tree 1 file changed +3
-3
lines changed
1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -334,7 +334,7 @@ fn call_with_ref<F>(some_closure:F) -> i32
334
334
Normally you can specify the lifetime of the parameter to our closure. We
335
335
could annotate it on the function declaration:
336
336
337
- ```
337
+ ``` ignore
338
338
fn call_with_ref<'a, F>(some_closure:F) -> i32
339
339
where F: Fn(&'a 32) -> i32 {
340
340
```
@@ -348,12 +348,12 @@ to compile.
348
348
In order to say that we only need the lifetime to be valid for the invocation scope
349
349
of the closure we can use Higher-Ranked Trait Bounds with the ` for<...> ` syntax:
350
350
351
- ```
351
+ ``` ignore
352
352
fn call_with_ref<F>(some_closure:F) -> i32
353
353
where F: for<'a> Fn(&'a 32) -> i32 {
354
354
```
355
355
356
- This lets the rust compiler find the minimum lifetime to invoke our closure and
356
+ This lets the Rust compiler find the minimum lifetime to invoke our closure and
357
357
satisfy the borrow checker's rules. Our function then compiles and excutes as we
358
358
expect.
359
359
You can’t perform that action at this time.
0 commit comments