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 reference `&String` found reference `&String` error: aborting due to 1 previous error For more information about this error, try `rustc --explain E0308`.