trait A = B
trait A = B + C
trait B<T> = Result + Iterator<T> + 'static + Sized
trait C = for<'a, 'b: 'a> Foo<&'a Bar>