trait Foo {}

trait Bar: Foo {}

impl<T: Foo> Bar for T {}

struct A;

impl Foo for A {}

fn take_bar(_: impl Bar) {}

fn main() {
    take_bar(A);
}