| error[E0631]: type mismatch in closure arguments |
| --> $DIR/E0631.rs:7:5 |
| | |
| LL | fn foo<F: Fn(usize)>(_: F) {} |
| | --- --------- required by this bound in `foo` |
| ... |
| LL | foo(|_: isize| {}); |
| | ^^^ ---------- found signature of `fn(isize) -> _` |
| | | |
| | expected signature of `fn(usize) -> _` |
| |
| error[E0631]: type mismatch in closure arguments |
| --> $DIR/E0631.rs:8:5 |
| | |
| LL | fn bar<F: Fn<usize>>(_: F) {} |
| | --- --------- required by this bound in `bar` |
| ... |
| LL | bar(|_: isize| {}); |
| | ^^^ ---------- found signature of `fn(isize) -> _` |
| | | |
| | expected signature of `fn(usize) -> _` |
| |
| error[E0631]: type mismatch in function arguments |
| --> $DIR/E0631.rs:9:9 |
| | |
| LL | fn foo<F: Fn(usize)>(_: F) {} |
| | --- --------- required by this bound in `foo` |
| ... |
| LL | fn f(_: u64) {} |
| | ------------ found signature of `fn(u64) -> _` |
| ... |
| LL | foo(f); |
| | ^ expected signature of `fn(usize) -> _` |
| |
| error[E0631]: type mismatch in function arguments |
| --> $DIR/E0631.rs:10:9 |
| | |
| LL | fn bar<F: Fn<usize>>(_: F) {} |
| | --- --------- required by this bound in `bar` |
| LL | fn main() { |
| LL | fn f(_: u64) {} |
| | ------------ found signature of `fn(u64) -> _` |
| ... |
| LL | bar(f); |
| | ^ expected signature of `fn(usize) -> _` |
| |
| error: aborting due to 4 previous errors |
| |