From 65342425fe891ad54b997d8228d72770d02c2441 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 2 Aug 2026 13:58:54 +0100
Subject: Check sum and variant are from the same namespace

---
 .../typechecker/TypeCheckerSumDefinitionTests.java | 26 ++++++++++++++++++++++
 1 file changed, 26 insertions(+)

(limited to 'src/test')

diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSumDefinitionTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSumDefinitionTests.java
index 1120bbe..be9790a 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSumDefinitionTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSumDefinitionTests.java
@@ -9,6 +9,7 @@ import org.zwobble.hobgoblin.compiler.ast.untyped.*;
 import org.zwobble.hobgoblin.compiler.builtins.NativeTypes;
 import org.zwobble.hobgoblin.compiler.sources.NullSource;
 import org.zwobble.hobgoblin.compiler.typechecker.errors.SubtypeIsMissingFieldError;
+import org.zwobble.hobgoblin.compiler.typechecker.errors.SumVariantMustBeInSameNamespaceError;
 import org.zwobble.hobgoblin.compiler.typechecker.errors.SumVariantMustBeStructError;
 import org.zwobble.hobgoblin.compiler.typechecker.errors.UnexpectedTypeError;
 import org.zwobble.hobgoblin.compiler.types.*;
@@ -173,6 +174,31 @@ public class TypeCheckerSumDefinitionTests {
         assertThat(error.variantType(), equalTo(NativeTypes.INT_32));
     }
 
+    @Test
+    public void variantMustBeInSameNamespace() {
+        var untyped = UntypedSumDefinitionNode.arbitrary()
+            .withName("X")
+            .withVariants(List.of(
+                UntypedSumVariantDefinitionNode.arbitrary()
+                    .withType(UntypedArb.typeLevelReference("Variant"))
+                    .build()
+            ))
+            .build();
+        var variantType = new StructType(NamespaceName.of("other"), "Variant");
+        var globalContext = TypeCheckerGlobalContext.initial();
+        globalContext.addNativeTypeConstructor(NativeTypes.BOX);
+        var namespaceContext = globalContext
+            .enterNamespace(NamespaceName.of("a", "b"));
+        namespaceContext.declare("Variant", new TypeLevelValueType(variantType), NullSource.INSTANCE);
+
+        var error = assertThrows(
+            SumVariantMustBeInSameNamespaceError.class,
+            () -> typeCheckNamespaceStatement(untyped, namespaceContext)
+        );
+
+        assertThat(error.namespaceName(), equalTo(NamespaceName.of("other")));
+    }
+
     @Test
     public void fieldsAreTypeChecked() {
         var int32Type = SimpleNativeType.builtin("Int32");
-- 
cgit v1.2.3