2 files changed, 2 insertions, 0 deletions
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/ast/typed/TypedSumVariantDefinitionNode.java b/src/main/java/org/zwobble/hobgoblin/compiler/ast/typed/TypedSumVariantDefinitionNode.java
index 5c2dd6c..efbea83 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/ast/typed/TypedSumVariantDefinitionNode.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/ast/typed/TypedSumVariantDefinitionNode.java
@@ -5,6 +5,7 @@ import org.zwobble.hobgoblin.compiler.types.Type;
 
 public record TypedSumVariantDefinitionNode(
     TypedTypeLevelExpressionNode<Type> type,
+    boolean isBox,
     Source source
 ) implements TypedNode {
 }
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
index 8b930aa..f313333 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
@@ -249,6 +249,7 @@ public class TypeChecker {
             var variantType = typeCheckMetaType(untypedVariant.type(), context);
             var typedVariant = new TypedSumVariantDefinitionNode(
                 variantType,
+                untypedVariant.isBox(),
                 untyped.source()
             );
             typedVariants.add(typedVariant);