启用 strictFunctionTypes 后，函数属性形式的回调中哪项赋值是安全的？

启用 strictFunctionTypes 后，函数属性形式的回调中哪项赋值是安全的？

1. 需要 (animal: Animal) => void 时赋入 (dog: Dog) => void。
2. 需要 (dog: Dog) => void 时赋入 (animal: Animal) => void。
3. 因为 Dog 继承 Animal，所以两个方向始终安全。
4. 严格模式下两个方向都不允许。