А
m^^combat
interface Shape { name: string };
interface Circle extends Shape { width: number };
interface Rectangle extends Circle { height: number };
declare var logSC: (figure: Shape) => Circle;
declare var logRC: (figure: Rectangle) => Circle;
declare var wlogBB: (fn: (figure: Circle) => any) => void;
wlogBB(logSC);
// Error with --strictFunctionTypes
wlogBB(logRC);Если функция ожидает обработчик Circle, а ей передают обработчик ее потомка, то может быть ошибка, так как обрабатывать она будет именно Circle, а не его наследников. А обработчик наследника может не уметь работать с базовым классом