blob: c75a063e45fa06b0141fcf688a8cd6538b61e779 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
error: implementation of `Trait` is not general enough
--> $DIR/do-not-blame-outlives-static-ice.rs:8:9
|
LL | fn f(_: for<'a> fn(<fn(&'a ()) as Trait>::Assoc)) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Trait` is not general enough
|
= note: `for<'a> fn(&'a ())` must implement `Trait`, for any lifetime `'0`...
= note: ...but `Trait` is actually implemented for the type `for<'a> fn(&'a ())`
error: higher-ranked subtype error
--> $DIR/do-not-blame-outlives-static-ice.rs:8:1
|
LL | fn f(_: for<'a> fn(<fn(&'a ()) as Trait>::Assoc)) {}
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
error: aborting due to 2 previous errors
|
