Abort.onUpperBound

T onUpperBound(Rhs, T)(Rhs rhs, T bound)

ditto