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

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

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