// AnyInt implements Foo<&'a isize> for any 'a, so it is a match. <- HERE, should not be AnyInt
impl<'a> Foo<&'a isize> for &'a u32 { }
fn give_some<'a>() {
want_hrtb::<&'a u32>()
//~^ ERROR lifetime may not live long enough
//~| ERROR implementation of `Foo` is not general enough
}