如何在Scala中证明两种类型没有子类型关系？

_{(Note: The motivation for this requires a long and difficult explanation; you can find the full discussion on this (Note: The motivation for this requires a long}