griggt on master
CI: run `test_sbt` by default f… Merge pull request #11139 from … (compare)
griggt on master
Use a system property for the S… Merge pull request #11138 from … (compare)
abgruszecki on M2
Update CI Merge pull request #10991 from … (compare)
(A | B) | C
and A | B | C
?
enum SizeInfo {
case Bounded(bound: Int)
enum Atomic {
case Infinite
case Precise(size: Int)
}
}
enum Ior[+A, +B] {
case Both(left: A, right: B)
enum Either[+A, +B] {
case Left[+A, +B](value: A)
case Right[+A, +B](value: B)
}
}
Left(5)
to be? Should it be Either[Int, Nothing]
or should it be Ior[Int, Nothing]
? I argue that the former does not make sense, because Either
sits at the same level as Both
, but Both
is not exposed as a type. And if the type of Left(5)
is Ior
anyway, then what good is Either
?
The weird thing is, this compiles
Probably a missing check rather than an intentional thing.