Matching a generic parameter to an associated type in an impl

Question

I have a trait with an associated type and a generic struct::

trait Generator {
    type Foo;
    fn generate(&self) -> Self::Foo;
}

struct Baz

        

Answer 1

I must explain to the compiler that B is the same as A::Foo

There is a special syntax for it:

impl Baz
where
    A: Generator,
{
    fn add_foo(&mut self) {
        self.vec.push(self.generator.generate());
    }
}