1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
use auto_impl::auto_impl; trait Supi<'a, T> { fn supi(&self); } #[auto_impl(Box, &)] trait Foo<T, U>: Supi<'static, U> where Self: Send { fn foo(&self) -> i32 { self.supi(); 3 } fn bar(&self); } fn main() {}