use conversion strategy that does not crash on SN

rescala-lang · Feb 19, 2024 · df390cb · df390cb
1 parent 6e23632
commit df390cb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Modules/RDTs/src/main/scala/kofre/base/Bottom.scala b/Modules/RDTs/src/main/scala/kofre/base/Bottom.scala
@@ -83,9 +83,9 @@ object Bottom {
 
     class ProductBottom[T](pm: Mirror.ProductOf[T], bottoms: Tuple) extends Bottom[T] {
       override def empty: T =
-        type Unbottom[A] = A match { case Bottom[b] => b }
         pm.fromProduct(
-          bottoms.map([β] => (b: β) => (b match { case b: Bottom[_] => b.empty }): Unbottom[β])
+          Tuple.fromArray:
+            bottoms.toArray.map[AnyRef](_.asInstanceOf[Bottom[AnyRef]].empty)
         )
       extension (value: T)
         override def isEmpty: Boolean =