]> git.lizzy.rs Git - rust.git/blob - src/test/ui/mismatched_types/closure-arg-type-mismatch.stderr
move leak-check to during coherence, candidate eval
[rust.git] / src / test / ui / mismatched_types / closure-arg-type-mismatch.stderr
1 error[E0631]: type mismatch in closure arguments
2   --> $DIR/closure-arg-type-mismatch.rs:3:14
3    |
4 LL |     a.iter().map(|_: (u32, u32)| 45);
5    |              ^^^ ------------------ found signature of `fn((u32, u32)) -> _`
6    |              |
7    |              expected signature of `fn(&(u32, u32)) -> _`
8
9 error[E0631]: type mismatch in closure arguments
10   --> $DIR/closure-arg-type-mismatch.rs:4:14
11    |
12 LL |     a.iter().map(|_: &(u16, u16)| 45);
13    |              ^^^ ------------------- found signature of `for<'r> fn(&'r (u16, u16)) -> _`
14    |              |
15    |              expected signature of `fn(&(u32, u32)) -> _`
16
17 error[E0631]: type mismatch in closure arguments
18   --> $DIR/closure-arg-type-mismatch.rs:5:14
19    |
20 LL |     a.iter().map(|_: (u16, u16)| 45);
21    |              ^^^ ------------------ found signature of `fn((u16, u16)) -> _`
22    |              |
23    |              expected signature of `fn(&(u32, u32)) -> _`
24
25 error[E0271]: type mismatch resolving `for<'r> <fn(*mut &'a u32) as std::ops::FnOnce<(*mut &'r u32,)>>::Output == ()`
26   --> $DIR/closure-arg-type-mismatch.rs:10:5
27    |
28 LL | fn baz<F: Fn(*mut &u32)>(_: F) {}
29    |           ------------- required by this bound in `baz`
30 LL | fn _test<'a>(f: fn(*mut &'a u32)) {
31 LL |     baz(f);
32    |     ^^^ expected bound lifetime parameter, found concrete lifetime
33
34 error: aborting due to 4 previous errors
35
36 Some errors have detailed explanations: E0271, E0631.
37 For more information about an error, try `rustc --explain E0271`.