Introduce NativeTypeConstructor for greater safety

2 files changed, 4 insertions, 4 deletions

diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java
index 09c0f8c..c0a7f93 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java
@@ -22,7 +22,7 @@ public class TypeCheckerConstructedTypeTests {
         );
         var context = TypeCheckerContextArb.namespaceContext();
         var listType = SimpleNativeType.builtin("List");
-        var listTypeConstructor = new TypeConstructor<>(List.of(new TypeParam("T")), listType);
+        var listTypeConstructor = Types.constructor(List.of(new TypeParam("T")), listType);
         context.declare("List", new TypeLevelValueType(listTypeConstructor), NullSource.INSTANCE);
         var int32Type = SimpleNativeType.builtin("Int32");
         context.declare("Int32", new TypeLevelValueType(int32Type), NullSource.INSTANCE);
@@ -42,7 +42,7 @@ public class TypeCheckerConstructedTypeTests {
         );
         var context = TypeCheckerContextArb.namespaceContext();
         var listType = SimpleNativeType.builtin("List");
-        var listTypeConstructor = new TypeConstructor<>(List.of(new TypeParam("T")), listType);
+        var listTypeConstructor = Types.constructor(List.of(new TypeParam("T")), listType);
         context.declare("List", new TypeLevelValueType(listTypeConstructor), NullSource.INSTANCE);
 
         var error = assertThrows(
@@ -65,7 +65,7 @@ public class TypeCheckerConstructedTypeTests {
         );
         var context = TypeCheckerContextArb.namespaceContext();
         var listType = SimpleNativeType.builtin("List");
-        var listTypeConstructor = new TypeConstructor<>(List.of(new TypeParam("T")), listType);
+        var listTypeConstructor = Types.constructor(List.of(new TypeParam("T")), listType);
         context.declare("List", new TypeLevelValueType(listTypeConstructor), NullSource.INSTANCE);
 
         var error = assertThrows(
diff --git a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerMetaTypeTests.java b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerMetaTypeTests.java
index c1b308c..4566b9b 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerMetaTypeTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerMetaTypeTests.java
@@ -35,7 +35,7 @@ public class TypeCheckerMetaTypeTests {
     public void whenVariableIsTypeLevelValueButNotMetaTypeThenErrorIsThrown() {
         var untyped = UntypedArb.typeLevelReference("List");
         var context = TypeCheckerContextArb.namespaceContext();
-        var typeConstructor = new TypeConstructor<>(List.of(new TypeParam("T")), SimpleNativeType.builtin("List"));
+        var typeConstructor = Types.constructor(List.of(new TypeParam("T")), SimpleNativeType.builtin("List"));
         context.declare("List", new TypeLevelValueType(typeConstructor), NullSource.INSTANCE);
 
         var error = assertThrows(