From da4d1be7537e90d234d8aa040b66472fe74ef883 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 9 Aug 2026 21:45:34 +0100
Subject: Add scope to TypeParam

---
 .../compiler/typechecker/TypeCheckerConstructedTypeTests.java       | 6 +++---
 .../hobgoblin/compiler/typechecker/TypeCheckerMetaTypeTests.java    | 3 ++-
 2 files changed, 5 insertions(+), 4 deletions(-)

(limited to 'src/test')

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 4f409d2..49aa4b6 100644
--- a/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java
+++ b/src/test/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerConstructedTypeTests.java
@@ -44,7 +44,7 @@ public class TypeCheckerConstructedTypeTests {
         );
         var context = TypeCheckerContextArb.namespaceContext();
         var listType = SimpleNativeType.builtin("List");
-        var listTypeConstructor = Types.constructor(List.of(new TypeParam("T")), listType);
+        var listTypeConstructor = Types.constructor(List.of(new TypeParam(listType, "T")), listType);
         context.declare("List", new TypeLevelValueType(listTypeConstructor), NullSource.INSTANCE);
         var int32Type = SimpleNativeType.builtin("Int32");
         context.declare("Int32", new TypeLevelValueType(int32Type), NullSource.INSTANCE);
@@ -64,7 +64,7 @@ public class TypeCheckerConstructedTypeTests {
         );
         var context = TypeCheckerContextArb.namespaceContext();
         var listType = SimpleNativeType.builtin("List");
-        var listTypeConstructor = Types.constructor(List.of(new TypeParam("T")), listType);
+        var listTypeConstructor = Types.constructor(List.of(new TypeParam(listType, "T")), listType);
         context.declare("List", new TypeLevelValueType(listTypeConstructor), NullSource.INSTANCE);
 
         var error = assertThrows(
@@ -87,7 +87,7 @@ public class TypeCheckerConstructedTypeTests {
         );
         var context = TypeCheckerContextArb.namespaceContext();
         var listType = SimpleNativeType.builtin("List");
-        var listTypeConstructor = Types.constructor(List.of(new TypeParam("T")), listType);
+        var listTypeConstructor = Types.constructor(List.of(new TypeParam(listType, "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 4566b9b..074d1df 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,8 @@ public class TypeCheckerMetaTypeTests {
     public void whenVariableIsTypeLevelValueButNotMetaTypeThenErrorIsThrown() {
         var untyped = UntypedArb.typeLevelReference("List");
         var context = TypeCheckerContextArb.namespaceContext();
-        var typeConstructor = Types.constructor(List.of(new TypeParam("T")), SimpleNativeType.builtin("List"));
+        var innerType = SimpleNativeType.builtin("List");
+        var typeConstructor = Types.constructor(List.of(new TypeParam(innerType, "T")), innerType);
         context.declare("List", new TypeLevelValueType(typeConstructor), NullSource.INSTANCE);
 
         var error = assertThrows(
-- 
cgit v1.2.3