1 files changed, 52 insertions, 0 deletions
diff --git a/src/test/java/org/shedlang/compiler/types/CommonSupertypeTests.java b/src/test/java/org/shedlang/compiler/types/CommonSupertypeTests.java
new file mode 100644
index 00000000..c407408a
--- /dev/null
+++ b/src/test/java/org/shedlang/compiler/types/CommonSupertypeTests.java
@@ -0,0 +1,52 @@
+package org.shedlang.compiler.types;
+
+import org.junit.jupiter.api.Test;
+
+import java.util.List;
+
+import static org.zwobble.precisely.AssertThat.assertThat;
+import static org.zwobble.precisely.Matchers.equalTo;
+
+public class CommonSupertypeTests {
+    @Test
+    public void commonSupertypeOfNoTypesIsBottom() {
+        var result = Types.commonSupertype(List.of());
+
+        assertThat(result, equalTo(Types.BOTTOM));
+    }
+
+    @Test
+    public void commonSupertypeOfSingleTypeIsThatType() {
+        var result = Types.commonSupertype(List.of(Types.INT));
+
+        assertThat(result, equalTo(Types.INT));
+    }
+
+    @Test
+    public void commonSupertypeOfRepeatedTypeIsThatType() {
+        var result = Types.commonSupertype(List.of(Types.INT, Types.INT, Types.INT));
+
+        assertThat(result, equalTo(Types.INT));
+    }
+
+    @Test
+    public void commonSupertypeOfUnrelatedTypesIsTop() {
+        var result = Types.commonSupertype(List.of(Types.INT, Types.STRING));
+
+        assertThat(result, equalTo(Types.TOP));
+    }
+
+    @Test
+    public void commonSupertypeOfBottomAndOtherTypeIsOtherType() {
+        var result = Types.commonSupertype(List.of(Types.BOTTOM, Types.INT));
+
+        assertThat(result, equalTo(Types.INT));
+    }
+
+    @Test
+    public void commonSupertypeOfOtherTypeAndBottomIsOtherType() {
+        var result = Types.commonSupertype(List.of(Types.INT, Types.BOTTOM));
+
+        assertThat(result, equalTo(Types.INT));
+    }
+}