From 8631c1eb72ff4673eb57b6fcd2cfced8435e3567 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 29 May 2026 10:05:33 +0100
Subject: Store variants bidirectionally

---
 .../hobgoblin/compiler/typechecker/TypeCheckerSumDefinitionTests.java    | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/test/java/org/zwobble')

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 fdf88ee..51de6a4 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSumDefinitionTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSumDefinitionTests.java
@@ -82,5 +82,6 @@ public class TypeCheckerSumDefinitionTests {
         var typesInfo = globalContext.toTypesInfo();
         assertThat(typesInfo.variantOf(rectangleType), isSequence(equalTo(sumType)));
         assertThat(typesInfo.variantOf(triangleType), isSequence(equalTo(sumType)));
+        assertThat(typesInfo.variants(sumType), isSequence(equalTo(rectangleType), equalTo(triangleType)));
     }
 }
-- 
cgit v1.2.3