Handle This type for generic native types

1 files changed, 9 insertions, 1 deletions

diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
index 5d08633d..aaf49ba0 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
@@ -1770,12 +1770,20 @@ public class TypeChecker {
                 var typedMethodNodes = new ArrayList<TypedNativeFunctionDeclarationNode>();
                 var methodInfos = new ArrayList<MethodInfo>();
 
+                // TODO: remove duplication with methods on struct
+                var thisType = switch (typeOrConstructor) {
+                    case TypeOrConstructor.Constructor<SimpleNativeType> constructor ->
+                        Types.constructedType(constructor.value(), constructor.value().params());
+                    case TypeOrConstructor.Type<SimpleNativeType> type ->
+                        type.value();
+                };
+
                 for (var untypedMethodNode : untyped.methods()) {
                     context = context.enterBlock(P.map(
                         Map.entry(
                             "This",
                             Variable.defined(
-                                Types.metaType(typeOrConstructor.toType()),
+                                Types.metaType(thisType),
                                 VariableType.VAL
                             )
                         )