如果基类型是序数类型，则不同类型是序数类型。