trait Foo {
    fn foo(&self) {}
}

trait FooExt: Foo {
    fn foo2(&self) {}
}

impl<T: Foo> FooExt for T {}

fn bar<T: Foo>(t: T) {
    t.foo2()
}

fn main() {}