Max[A, max <: Int] = A
inline def maxValue[M <: Max[_, _]]: Int = ???
https://dotty.epfl.ch/api/scala/ValueOf.html
это ж то же самое что constValue
С opaque нельзя, с остальными просто, как Антон сказал https://scastie.scala-lang.org/Odomontois/wqJM0tlISfyNj5sLmcrYfg/1
Почему нельзя с opaque? я думал, что это полноценный тип.
я где-то видел то ли ишью, то ли тред на контрибуторсах, что мол матч-типы и опаки плохо вместе работают
ладно ,с opaque тоже можно https://scastie.scala-lang.org/Odomontois/wqJM0tlISfyNj5sLmcrYfg/4
Обсуждают сегодня