Вектор полиморфных структур со связанным типом признака

Я пытаюсь понять, как работает полиморфизм при использовании характеристики со связанным типом. Обратите внимание на следующую черту:

trait Animal {
    fn talk (&self);
}

Эта черта используется следующими структурами:

struct Dog;
struct Cow;

impl Animal for Dog {
    fn talk (&self) {
        println!("Woof");
    }
}

impl Animal for Cow {
    fn talk (&self) {
        println!("Moo");
    }
}

Затем я перебираю Vec<&Animal>, и здесь хорошо работает полиморфизм:

fn main() {
    let animals: Vec<&Animal> = vec![&Dog, &Cow];
    for animal in &animals {
        animal.talk();
    }
}
// output:
// Woof
// Moo

Все идет нормально. Теперь я добавляю связанный тип Food к характеристике (тип не используется, но только для минимального воспроизведения).

struct Meat;
struct Herb;

trait Animal {
    type Food;
    ...
}
impl Animal for Dog {
    type Food = Meat;
    ...
}
impl Animal for Cow {
    type Food = Herb;
    ...
}

И теперь я получаю ошибку:

error[E0191]: the value of the associated type `Food` (from trait `Animal`) must be specified
   --> src/main.rs:188:23
163 |     type Food;
    |     ---------- `Food` defined here
...
188 |     let animals: Vec<&Animal> = vec![&Dog, &Cow];
    |                       ^^^^^^ help: specify the associated type: `Animal<Food = Type>`

Но в этом случае я не могу просто следить за сообщением об ошибке, поскольку количество struct, реализующих черту Animal, не должно быть статическим.

Как это решить с помощью Rust? заранее спасибо