Extract TypeCheckerSubtyping

2 files changed, 13 insertions, 4 deletions

diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
index 1b10de2..841c934 100644
--- a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeChecker.java
@@ -9,6 +9,7 @@ import java.util.ArrayList;
 import java.util.List;
 
 import static org.zwobble.hobgoblin.compiler.typechecker.NamespaceNameResolution.resolveNamespaceName;
+import static org.zwobble.hobgoblin.compiler.typechecker.TypeCheckerSubtyping.isSubtype;
 
 public class TypeChecker {
 
@@ -395,8 +396,4 @@ public class TypeChecker {
             );
         }
     }
-
-    private static boolean isSubtype(Type subtype, Type supertype) {
-        return subtype.equals(supertype);
-    }
 }
diff --git a/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSubtyping.java b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSubtyping.java
new file mode 100644
index 0000000..673d931
--- /dev/null
+++ b/src/main/java/org/zwobble/hobgoblin/compiler/typechecker/TypeCheckerSubtyping.java
@@ -0,0 +1,12 @@
+package org.zwobble.hobgoblin.compiler.typechecker;
+
+import org.zwobble.hobgoblin.compiler.types.Type;
+
+class TypeCheckerSubtyping {
+    private TypeCheckerSubtyping() {
+    }
+
+    static boolean isSubtype(Type subtype, Type supertype) {
+        return subtype.equals(supertype);
+    }
+}