File tree Expand file tree Collapse file tree 2 files changed +5
-5
lines changed
src/test/ui/generic-associated-types Expand file tree Collapse file tree 2 files changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -2,18 +2,18 @@ error[E0631]: type mismatch in function arguments
2
2
--> $DIR/issue-88382.rs:27:40
3
3
|
4
4
LL | do_something(SomeImplementation(), test);
5
- | ------------ ^^^^ expected signature of `for<'a > fn(&mut <SomeImplementation as Iterable>::Iterator<'a >) -> _`
5
+ | ------------ ^^^^ expected signature of `for<'r > fn(&'r mut std::iter::Empty<usize >) -> _`
6
6
| |
7
7
| required by a bound introduced by this call
8
8
...
9
9
LL | fn test<'a, I: Iterable>(_: &mut I::Iterator<'a>) {}
10
- | ------------------------------------------------- found signature of `for<'r> fn(&'r mut std::iter::Empty<usize >) -> _`
10
+ | ------------------------------------------------- found signature of `for<'r, 'a > fn(&'r mut <_ as Iterable>::Iterator<'a >) -> _`
11
11
|
12
12
note: required by a bound in `do_something`
13
- --> $DIR/issue-88382.rs:21:56
13
+ --> $DIR/issue-88382.rs:21:48
14
14
|
15
15
LL | fn do_something<I: Iterable>(i: I, mut f: impl for<'a> Fn(&mut I::Iterator<'a>)) {
16
- | ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `do_something`
16
+ | ^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `do_something`
17
17
18
18
error: aborting due to previous error
19
19
Original file line number Diff line number Diff line change @@ -15,7 +15,7 @@ impl<T> Foo<T> for () {
15
15
= ( ) ;
16
16
}
17
17
18
- fn foo < T > ( ) {
18
+ fn foo < T : ' static > ( ) {
19
19
let _: for <' a > fn ( <( ) as Foo < T > >:: Type < ' a > , & ' a T ) = |_, _| ( ) ;
20
20
}
21
21
You can’t perform that action at this time.
0 commit comments