Considering variance in a generic interface, which member declaration makes `Consumer<Animal>` assignable to `Consumer<Dog>` (i.e. contravariant in `T`) under `strict`?
interface Animal { legs: number }
interface Dog extends Animal { bark(): void }
// Which body makes Consumer<Animal> assignable to Consumer<Dog>?