1 error[E0631]: type mismatch in closure arguments
4 LL | foo(|_: isize| {});
5 | ^^^ ---------- found signature defined here
9 = note: expected closure signature `fn(usize) -> _`
10 found closure signature `fn(isize) -> _`
11 note: required by a bound in `foo`
12 --> $DIR/E0631.rs:3:11
14 LL | fn foo<F: Fn(usize)>(_: F) {}
15 | ^^^^^^^^^ required by this bound in `foo`
17 error[E0631]: type mismatch in closure arguments
20 LL | bar(|_: isize| {});
21 | ^^^ ---------- found signature defined here
23 | expected due to this
25 = note: expected closure signature `fn(usize) -> _`
26 found closure signature `fn(isize) -> _`
27 note: required by a bound in `bar`
28 --> $DIR/E0631.rs:4:11
30 LL | fn bar<F: Fn<(usize,)>>(_: F) {}
31 | ^^^^^^^^^^^^ required by this bound in `bar`
33 error[E0631]: type mismatch in function arguments
37 | ------------ found signature defined here
40 | --- ^ expected due to this
42 | required by a bound introduced by this call
44 = note: expected function signature `fn(usize) -> _`
45 found function signature `fn(u64) -> _`
46 note: required by a bound in `foo`
47 --> $DIR/E0631.rs:3:11
49 LL | fn foo<F: Fn(usize)>(_: F) {}
50 | ^^^^^^^^^ required by this bound in `foo`
52 error[E0631]: type mismatch in function arguments
53 --> $DIR/E0631.rs:10:9
56 | ------------ found signature defined here
59 | --- ^ expected due to this
61 | required by a bound introduced by this call
63 = note: expected function signature `fn(usize) -> _`
64 found function signature `fn(u64) -> _`
65 note: required by a bound in `bar`
66 --> $DIR/E0631.rs:4:11
68 LL | fn bar<F: Fn<(usize,)>>(_: F) {}
69 | ^^^^^^^^^^^^ required by this bound in `bar`
71 error: aborting due to 4 previous errors
73 For more information about this error, try `rustc --explain E0631`.