@@ -17,6 +17,15 @@ LL | A(B(C::new(D::new(move |st| f(st)))))
17
17
= note: ...but it actually implements `FnOnce<(&'1 mut V,)>`, for some specific lifetime `'1`
18
18
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
19
19
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
+
20
29
error: implementation of `Fn` is not general enough
21
30
--> $DIR/ice-106874.rs:8:7
22
31
|
@@ -34,6 +43,7 @@ LL | A(B(C::new(D::new(move |st| f(st)))))
34
43
|
35
44
= note: closure with signature `fn(&'2 mut V)` must implement `FnOnce<(&'1 mut V,)>`, for any lifetime `'1`...
36
45
= 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`
37
47
38
48
error: implementation of `Fn` is not general enough
39
49
--> $DIR/ice-106874.rs:8:7
@@ -46,43 +56,36 @@ LL | A(B(C::new(D::new(move |st| f(st)))))
46
56
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
47
57
48
58
error: implementation of `FnOnce` is not general enough
49
- --> $DIR/ice-106874.rs:8:9
59
+ --> $DIR/ice-106874.rs:8:7
50
60
|
51
61
LL | 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
53
63
|
54
64
= note: closure with signature `fn(&'2 mut V)` must implement `FnOnce<(&'1 mut V,)>`, for any lifetime `'1`...
55
65
= 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`
56
67
57
68
error: implementation of `Fn` is not general enough
58
- --> $DIR/ice-106874.rs:8:9
69
+ --> $DIR/ice-106874.rs:8:7
59
70
|
60
71
LL | 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
62
73
|
63
74
= note: closure with signature `fn(&'2 mut V)` must implement `Fn<(&'1 mut V,)>`, for any lifetime `'1`...
64
75
= 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`
74
77
75
78
error: higher-ranked subtype error
76
- --> $DIR/ice-106874.rs:8:41
79
+ --> $DIR/ice-106874.rs:8:7
77
80
|
78
81
LL | A(B(C::new(D::new(move |st| f(st)))))
79
- | ^
82
+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^
80
83
81
84
error: higher-ranked subtype error
82
- --> $DIR/ice-106874.rs:8:41
85
+ --> $DIR/ice-106874.rs:8:7
83
86
|
84
87
LL | A(B(C::new(D::new(move |st| f(st)))))
85
- | ^
88
+ | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^
86
89
|
87
90
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
88
91
0 commit comments