将复杂类型分配给另一个复杂类型，不引发错误

Question

我有两个类（Computer，Mobile），它们都实现了接口Calculator。当我为Computer和Mobile创建两个对象并将Mobile对象分配给Computer变量时，我认为它应该引发错误，因为这两个对象是不同的对象。但这很好用：

let cmp1: Computer = new Computer();

let cmp3: Mobile = new Mobile();

cmp1 = cmp3 // Should error to my mind, but is allowed by TS?

为什么TypeScript允许将cmp3分配给cmp1？