]>
Commit | Line | Data |
---|---|---|
5099ac24 | 1 | error[E0631]: type mismatch in function arguments |
f2b60f7d | 2 | --> $DIR/issue-88382.rs:26:40 |
5099ac24 FG |
3 | | |
4 | LL | do_something(SomeImplementation(), test); | |
064997fb | 5 | | ------------ ^^^^ expected due to this |
5099ac24 FG |
6 | | | |
7 | | required by a bound introduced by this call | |
8 | ... | |
9 | LL | fn test<'a, I: Iterable>(_: &mut I::Iterator<'a>) {} | |
064997fb | 10 | | ------------------------------------------------- found signature defined here |
5099ac24 | 11 | | |
064997fb FG |
12 | = note: expected function signature `for<'r> fn(&'r mut std::iter::Empty<usize>) -> _` |
13 | found function signature `for<'a, 'r> fn(&'r mut <_ as Iterable>::Iterator<'a>) -> _` | |
5099ac24 | 14 | note: required by a bound in `do_something` |
f2b60f7d | 15 | --> $DIR/issue-88382.rs:20:48 |
5099ac24 FG |
16 | | |
17 | LL | fn do_something<I: Iterable>(i: I, mut f: impl for<'a> Fn(&mut I::Iterator<'a>)) { | |
5e7ed085 | 18 | | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `do_something` |
5099ac24 FG |
19 | |
20 | error: aborting due to previous error | |
21 | ||
22 | For more information about this error, try `rustc --explain E0631`. |