| 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 |
| |
