Matching a generic parameter to an associated type in an impl
I must explain to the compiler that B is the same as A::Foo There is a special syntax for it: impl<A, B> Baz<A, B> where A: Generator<Foo = B>, { fn add_foo(&mut self) { self.vec.push(self.generator.generate()); } }