Int <: Double, because that's true in Scala.
Int <: Double, because that's true in Scala.js.
If A <: B1, then A <: B1 | B2.
If A <: B2, then A <: B1 | B2.
If A <: B2, then A <: B1 | B2.
If A <: B, then A <: js.UndefOr[B].
(evidenceLowPrioImplicits: StringAdd).self
(evidenceLowPrioImplicits: StringFormat).self
(evidenceLowPrioImplicits: ArrowAssoc[EvidenceLowPrioImplicits]).x
(Since version 2.10.0) Use leftOfArrow instead
(evidenceLowPrioImplicits: Ensuring[EvidenceLowPrioImplicits]).x
(Since version 2.10.0) Use resultOfEnsuring instead