Additionally, a direct cast from Bat to Animal is also unambiguous, now that there exists only one Animal instance which Bat could be converted to.
另外，直接将Bat实例分派给Animal实例的过程也不会产生歧义了，因为现在只存在一種可以转换为Animal的Bat实体了。