Add so68877939.scala

scala · Oct 15, 2024 · e546f07 · e546f07
1 parent 69ac5fb
commit e546f07
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/tests/pos/so68877939.scala b/tests/pos/so68877939.scala
@@ -0,0 +1,15 @@
+abstract class Quantity[A <: Quantity[A]]
+sealed trait UnitOfMeasure[A <: Quantity[A]]
+
+class Time extends Quantity[Time]
+object Minutes extends UnitOfMeasure[Time]
+
+class PowerRamp extends Quantity[PowerRamp]
+object KilowattsPerHour extends UnitOfMeasure[PowerRamp]
+
+type Test[X <: UnitOfMeasure[?]] = X match
+  case UnitOfMeasure[t] => t
+
+@main def main =
+  summon[Test[Minutes.type] =:= Time]
+  summon[Test[KilowattsPerHour.type] =:= PowerRamp]