| error[E0308]: mismatched types | |
| --> $DIR/higher-ranked-lifetime-error.rs:12:5 | |
| | | |
| LL | assert_all::<_, &String>(id); | |
| | ^^^^^^^^^^^^^^^^^^^^^^^^ one type is more general than the other | |
| | | |
| = note: expected trait `for<'a> <for<'a> fn(&'a String) -> &'a String {id} as FnMut<(&'a String,)>>` | |
| found trait `for<'a> <for<'a> fn(&'a String) -> &'a String {id} as FnMut<(&'a String,)>>` | |
| error: aborting due to 1 previous error | |
| For more information about this error, try `rustc --explain E0308`. |