Scala 3 Типа совпадений и F-ограниченные типы: «Не может доказать»
#scala #type-level-computation #scala-3 #match-types Вопрос: Дано: abstract class Quantity[A <: Quantity[A]] sealed trait UnitOfMeasure[A] class Time extends Quantity[Time] object Minutes extends UnitOfMeasure[Time] class PowerRamp extends Quantity[PowerRamp] object KilowattsPerHour extends UnitOfMeasure[PowerRamp]…