Avoid class cast exception

effekt-lang · Nov 24, 2023 · 176fd62 · 176fd62
1 parent d2e089b
commit 176fd62
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/effekt/shared/src/main/scala/effekt/core/Type.scala b/effekt/shared/src/main/scala/effekt/core/Type.scala
@@ -144,15 +144,21 @@ object Type {
 
       BlockType.Function(tparams, cparams, vparams, bparams, body.tpe)
     case Block.Member(b, field, tpe) => tpe
-    case Block.Unbox(pure) => pure.tpe.asInstanceOf[ValueType.Boxed].tpe
+    case Block.Unbox(pure) => pure.tpe match {
+      case List(tpe) => tpe.asInstanceOf[ValueType.Boxed].tpe
+      case _ => ??? // TODO MRV
+    }
     case Block.New(impl) => impl.tpe
   }
   def inferCapt(block: Block): Captures = block match {
     case Block.BlockVar(id, tpe, capt) => capt
     case Block.BlockLit(tparams, cparams, vparams, bparams, body) =>
       body.capt -- cparams
     case Block.Member(block, field, tpe) => block.capt
-    case Block.Unbox(pure) => pure.tpe.asInstanceOf[ValueType.Boxed].capt
+    case Block.Unbox(pure) => pure.tpe match {
+      case List(tpe) => tpe.asInstanceOf[ValueType.Boxed].capt
+      case _ => ??? // TODO MRV
+    }
     case Block.New(impl) => impl.capt
   }