|  | 
| 1 | 1 | error[E0631]: type mismatch in closure arguments | 
| 2 | 2 |   --> $DIR/expect-fn-supply-fn.rs:30:5 | 
| 3 | 3 |    | | 
| 4 |  | -LL |     with_closure_expecting_fn_with_free_region(|x: fn(&u32), y| {}); | 
| 5 |  | -   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ---------------- found signature of `fn(for<'r> fn(&'r u32), _) -> _` | 
| 6 |  | -   |     | | 
| 7 |  | -   |     expected signature of `fn(fn(&'a u32), &i32) -> _` | 
| 8 |  | -   | | 
| 9 |  | -note: required by `with_closure_expecting_fn_with_free_region` | 
| 10 |  | -  --> $DIR/expect-fn-supply-fn.rs:1:1 | 
| 11 |  | -   | | 
| 12 | 4 | LL | / fn with_closure_expecting_fn_with_free_region<F>(_: F) | 
| 13 | 5 | LL | |     where F: for<'a> FnOnce(fn(&'a u32), &i32) | 
| 14 | 6 | LL | | { | 
| 15 | 7 | LL | | } | 
| 16 |  | -   | |_^ | 
|  | 8 | +   | |_- required by `with_closure_expecting_fn_with_free_region` | 
|  | 9 | +... | 
|  | 10 | +LL |       with_closure_expecting_fn_with_free_region(|x: fn(&u32), y| {}); | 
|  | 11 | +   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ---------------- found signature of `fn(for<'r> fn(&'r u32), _) -> _` | 
|  | 12 | +   |       | | 
|  | 13 | +   |       expected signature of `fn(fn(&'a u32), &i32) -> _` | 
| 17 | 14 | 
 | 
| 18 | 15 | error[E0631]: type mismatch in closure arguments | 
| 19 | 16 |   --> $DIR/expect-fn-supply-fn.rs:37:5 | 
| 20 | 17 |    | | 
| 21 |  | -LL |     with_closure_expecting_fn_with_bound_region(|x: fn(&'x u32), y| {}); | 
| 22 |  | -   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ------------------- found signature of `fn(fn(&'x u32), _) -> _` | 
| 23 |  | -   |     | | 
| 24 |  | -   |     expected signature of `fn(for<'r> fn(&'r u32), &i32) -> _` | 
| 25 |  | -   | | 
| 26 |  | -note: required by `with_closure_expecting_fn_with_bound_region` | 
| 27 |  | -  --> $DIR/expect-fn-supply-fn.rs:6:1 | 
| 28 |  | -   | | 
| 29 | 18 | LL | / fn with_closure_expecting_fn_with_bound_region<F>(_: F) | 
| 30 | 19 | LL | |     where F: FnOnce(fn(&u32), &i32) | 
| 31 | 20 | LL | | { | 
| 32 | 21 | LL | | } | 
| 33 |  | -   | |_^ | 
|  | 22 | +   | |_- required by `with_closure_expecting_fn_with_bound_region` | 
|  | 23 | +... | 
|  | 24 | +LL |       with_closure_expecting_fn_with_bound_region(|x: fn(&'x u32), y| {}); | 
|  | 25 | +   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ------------------- found signature of `fn(fn(&'x u32), _) -> _` | 
|  | 26 | +   |       | | 
|  | 27 | +   |       expected signature of `fn(for<'r> fn(&'r u32), &i32) -> _` | 
| 34 | 28 | 
 | 
| 35 | 29 | error[E0631]: type mismatch in closure arguments | 
| 36 | 30 |   --> $DIR/expect-fn-supply-fn.rs:46:5 | 
| 37 | 31 |    | | 
| 38 |  | -LL |     with_closure_expecting_fn_with_bound_region(|x: Foo<'_>, y| { | 
| 39 |  | -   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ --------------- found signature of `for<'r> fn(fn(&'r u32), _) -> _` | 
| 40 |  | -   |     | | 
| 41 |  | -   |     expected signature of `fn(for<'r> fn(&'r u32), &i32) -> _` | 
| 42 |  | -   | | 
| 43 |  | -note: required by `with_closure_expecting_fn_with_bound_region` | 
| 44 |  | -  --> $DIR/expect-fn-supply-fn.rs:6:1 | 
| 45 |  | -   | | 
| 46 | 32 | LL | / fn with_closure_expecting_fn_with_bound_region<F>(_: F) | 
| 47 | 33 | LL | |     where F: FnOnce(fn(&u32), &i32) | 
| 48 | 34 | LL | | { | 
| 49 | 35 | LL | | } | 
| 50 |  | -   | |_^ | 
|  | 36 | +   | |_- required by `with_closure_expecting_fn_with_bound_region` | 
|  | 37 | +... | 
|  | 38 | +LL |       with_closure_expecting_fn_with_bound_region(|x: Foo<'_>, y| { | 
|  | 39 | +   |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ --------------- found signature of `for<'r> fn(fn(&'r u32), _) -> _` | 
|  | 40 | +   |       | | 
|  | 41 | +   |       expected signature of `fn(for<'r> fn(&'r u32), &i32) -> _` | 
| 51 | 42 | 
 | 
| 52 | 43 | error: aborting due to 3 previous errors | 
| 53 | 44 | 
 | 
0 commit comments