aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/java')
-rw-r--r--src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java
index f36626e9..6260c9ef 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java
@@ -164,7 +164,6 @@ public class TypeCheckerSubTyping {
for (var subtypeVariant : subtypeInfo.variants()) {
var result = tryAddSubtypeConstraint(subtypeVariant, supertype, constraints);
if (result.isPresent()) {
- // TODO: test assignment
constraints = result.get();
} else {
return result;