@crater2150 Thanks. I have seen examples of the equivalence test. However, do you have any example that shows the use of a combination of <: with >:? I am trying to see how one could use this kind of constraint.
EDIT: neglected to mention that this is for Dotty/Scala 3
TIA