Commit 2025-05-13 08:28 02706e7c
View on Github →chore: remove CanonicallyOrdered{Mul, Add}.toOrderBot
(#24094)
This will allow us to use CanonicallyOrdered{Mul, Add}
with order typeclasses that extend Bot
.
chore: remove CanonicallyOrdered{Mul, Add}.toOrderBot
(#24094)
This will allow us to use CanonicallyOrdered{Mul, Add}
with order typeclasses that extend Bot
.