From 84ba9ce1f41dbd5ed3135ac8d808ee0c8c5b3996 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 31 Dec 2023 11:37:03 +0000
Subject: Add tests for common supertypes

---
 src/main/java/org/shedlang/compiler/types/Types.java | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/types/Types.java b/src/main/java/org/shedlang/compiler/types/Types.java
index 45476a03..d05f4665 100644
--- a/src/main/java/org/shedlang/compiler/types/Types.java
+++ b/src/main/java/org/shedlang/compiler/types/Types.java
@@ -57,7 +57,6 @@ public class Types {
     }
 
     public static Type commonSupertype(List<Type> subtypes) {
-        // TODO: test this!
         var uniqueSubtypes = subtypes.stream()
             .filter(subtype -> subtype != Types.BOTTOM)
             .collect(Collectors.toSet());
-- 
cgit v1.2.3