From 77e52091031154fc7d09875eea8b67f2e394eda6 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 9 Aug 2026 21:41:40 +0100
Subject: Allow type constructor in TypedStructDefinitionNode

---
 .../hobgoblin/compiler/typechecker/TypeCheckerNamespaceTests.java     | 4 ++--
 .../compiler/typechecker/TypeCheckerStructDefinitionTests.java        | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/test/java')

diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerNamespaceTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerNamespaceTests.java
index 9545bce..01bf3c4 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerNamespaceTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerNamespaceTests.java
@@ -40,7 +40,7 @@ public class TypeCheckerNamespaceTests {
                     TypedStructDefinitionNode.class,
                     has(
                         "type",
-                        TypedStructDefinitionNode::type,
+                        TypedStructDefinitionNode::typeOrThrow,
                         equalTo(new SimpleStructType(NamespaceName.of("a", "b"), "X"))
                     )
                 )
@@ -92,7 +92,7 @@ public class TypeCheckerNamespaceTests {
                     TypedStructDefinitionNode.class,
                     has(
                         "type",
-                        TypedStructDefinitionNode::type,
+                        TypedStructDefinitionNode::typeOrThrow,
                         equalTo(new SimpleStructType(NamespaceName.of("a", "b"), "X"))
                     )
                 )
diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerStructDefinitionTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerStructDefinitionTests.java
index 905ff32..9bdf9f8 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerStructDefinitionTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerStructDefinitionTests.java
@@ -35,7 +35,7 @@ public class TypeCheckerStructDefinitionTests {
             TypedStructDefinitionNode.class,
             has(
                 "type",
-                TypedStructDefinitionNode::type,
+                TypedStructDefinitionNode::typeOrThrow,
                 equalTo(new SimpleStructType(NamespaceName.of("a", "b"), "X"))
             )
         ));
-- 
cgit v1.2.3