Ops — то не работает?
https://scastie.scala-lang.org/LMnet/GfwOmagjSOe0e7jt4yAHag/2
При этом в тестах вроде все опсы ньютайпов сделаны с AnyVal
(private val value: Type[A]) extends AnyVal - опсы надо на ньютайп вешать
Тут не так: https://github.com/rudogma/scala-supertagged/blob/master/tests/src/test/scala/supertaggedtests/newtypes/OptionTExample.scala
Опечатка видимо, он там дальше нигде не используется. А вот почему у тебя опсы на Set[A] и без энивала сработали - вот это интересно.
Понятно. Спасибо
Видимо какая-то очередная косолапая магия в scalac, которая видит опсы на Set[Int] для ньютайпа (причем именно залинкованные через ImplicitScope - если просто опсы отдельно сделать не видит)
Обсуждают сегодня