Unexpected behavior from Union types in Scala 3

[jimka]

@sangamon

I haven’t worked with dotty so far, but I guess it won’t just infer union types whenever you throw an arbitrary mix of types at it

hmmm, well my supposition was the opposite. That rather than assuming Any it would assume the least upper bound of the set of types. After all, that seems the point of having a type lattice.