struct Bar;
impl Bar {
fn hash<T>(&self, _: T) {}
}
#[derive(Hash)]
struct Foo(Bar);
//~^ error: `Bar: Hash` is not satisfied
fn main() {}