I’m interested in your weird inference problems :). The behavior of contravariance in implicit resolution was also changed in dotty to make things like equality typeclasses work better: dotty/compiler/src/dotty/tools/dotc/typer/Applications.scala at 6d3fe1db99c140258511782980ccac60d10b900a · lampepfl/dotty · GitHub
2 Likes