From c9370b6a47604e9d0af6adf482651611a4f01dbb Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 5 Jan 2024 23:32:07 +0000
Subject: Check constraints are retained from sum subtype

---
 .../java/org/shedlang/compiler/typechecker/TypeCheckerSubTyping.java     | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/main/java')

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;
-- 
cgit v1.2.3