@@ -17,6 +17,15 @@ LL | A(B(C::new(D::new(move |st| f(st)))))
1717 = note: ...but it actually implements `FnOnce<(&'1 mut V,)>`, for some specific lifetime `'1`
1818 = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
1919
20+ error: implementation of `FnOnce` is not general enough
21+ --> $DIR/ice-106874.rs:8:7
22+ |
23+ LL | A(B(C::new(D::new(move |st| f(st)))))
24+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough
25+ |
26+ = note: closure with signature `fn(&'2 mut V)` must implement `FnOnce<(&'1 mut V,)>`, for any lifetime `'1`...
27+ = note: ...but it actually implements `FnOnce<(&'2 mut V,)>`, for some specific lifetime `'2`
28+
2029error: implementation of `Fn` is not general enough
2130 --> $DIR/ice-106874.rs:8:7
2231 |
@@ -34,6 +43,7 @@ LL | A(B(C::new(D::new(move |st| f(st)))))
3443 |
3544 = note: closure with signature `fn(&'2 mut V)` must implement `FnOnce<(&'1 mut V,)>`, for any lifetime `'1`...
3645 = note: ...but it actually implements `FnOnce<(&'2 mut V,)>`, for some specific lifetime `'2`
46+ = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
3747
3848error: implementation of `Fn` is not general enough
3949 --> $DIR/ice-106874.rs:8:7
@@ -46,43 +56,36 @@ LL | A(B(C::new(D::new(move |st| f(st)))))
4656 = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
4757
4858error: implementation of `FnOnce` is not general enough
49- --> $DIR/ice-106874.rs:8:9
59+ --> $DIR/ice-106874.rs:8:7
5060 |
5161LL | A(B(C::new(D::new(move |st| f(st)))))
52- | ^^^^^^ implementation of `FnOnce` is not general enough
62+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^ implementation of `FnOnce` is not general enough
5363 |
5464 = note: closure with signature `fn(&'2 mut V)` must implement `FnOnce<(&'1 mut V,)>`, for any lifetime `'1`...
5565 = note: ...but it actually implements `FnOnce<(&'2 mut V,)>`, for some specific lifetime `'2`
66+ = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
5667
5768error: implementation of `Fn` is not general enough
58- --> $DIR/ice-106874.rs:8:9
69+ --> $DIR/ice-106874.rs:8:7
5970 |
6071LL | A(B(C::new(D::new(move |st| f(st)))))
61- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Fn` is not general enough
72+ | ^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Fn` is not general enough
6273 |
6374 = note: closure with signature `fn(&'2 mut V)` must implement `Fn<(&'1 mut V,)>`, for any lifetime `'1`...
6475 = note: ...but it actually implements `Fn<(&'2 mut V,)>`, for some specific lifetime `'2`
65-
66- error: implementation of `FnOnce` is not general enough
67- --> $DIR/ice-106874.rs:8:9
68- |
69- LL | A(B(C::new(D::new(move |st| f(st)))))
70- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `FnOnce` is not general enough
71- |
72- = note: closure with signature `fn(&'2 mut V)` must implement `FnOnce<(&'1 mut V,)>`, for any lifetime `'1`...
73- = note: ...but it actually implements `FnOnce<(&'2 mut V,)>`, for some specific lifetime `'2`
76+ = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
7477
7578error: higher-ranked subtype error
76- --> $DIR/ice-106874.rs:8:41
79+ --> $DIR/ice-106874.rs:8:7
7780 |
7881LL | A(B(C::new(D::new(move |st| f(st)))))
79- | ^
82+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^
8083
8184error: higher-ranked subtype error
82- --> $DIR/ice-106874.rs:8:41
85+ --> $DIR/ice-106874.rs:8:7
8386 |
8487LL | A(B(C::new(D::new(move |st| f(st)))))
85- | ^
88+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^
8689 |
8790 = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
8891
0 commit comments