TypeScript: variance и assignability — пример кода

class Animal { legs = 4 }
class Dog extends Animal { bark() {} }

// Covariance — return/read positions flow with the subtype
const dogs: Dog[] = [new Dog()];
const animals: Animal[] = dogs;   // ✅ Array is (unsoundly) covariant

// The classic hole this opens:
animals.push(new Animal());       // ✅ compiles… but dogs now holds a non-Dog
dogs[1].bark();                   // 💥 runtime crash — bark is undefined

// Contravariance — a broader consumer is a valid narrower consumer
type Listener = (e: MouseEvent) => void;
const broad = (e: Event) => {};
const l: Listener = broad;         // ✅ accepting more is safe

// strictFunctionTypes catches the UNSAFE direction on function-typed params:
type Narrow = (e: MouseEvent) => void;
const wide: (e: Event) => void = (e: MouseEvent) => e.button; // ❌ error under strict