来源：https://stackoverflow.com/questions/62120884/difference-between-union-type-lub-and-supertype-lub 标签 scala subtyping dotty
