Как работает strictFunctionTypes?

Опция strictFunctionTypes включает контравариантную проверку параметров функций, записанных в синтаксисе стрелки ((x: T) => R). Без неё TypeScript проверяет параметры бивариантно (и ковариантно, и контравариантно), что позволяет присвоить (dog: Dog) => void к (animal: Animal) => void -- небезопасно. С этой опцией такое присваивание вызовет ошибку.