Explicitly group tests

1 files changed, 10 insertions, 0 deletions

diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java
index bf04c4fd..88f93472 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java
@@ -11,6 +11,8 @@ import static org.zwobble.precisely.AssertThat.assertThat;
 import static org.zwobble.precisely.Matchers.equalTo;
 
 public class TypeCheckerIsSubTypeTests {
+    // == General ==
+
     @Test
     public void typesAreSubTypesOfThemselves() {
         var namespaceName = NamespaceName.of("Example", "Project");
@@ -43,6 +45,8 @@ public class TypeCheckerIsSubTypeTests {
         );
     }
 
+    // == Top type ==
+
     @Test
     public void topTypeIsSuperTypeOfAllTypes() {
         var namespaceName = NamespaceName.of("Example", "Project");
@@ -75,6 +79,8 @@ public class TypeCheckerIsSubTypeTests {
         );
     }
 
+    // == Bottom type ==
+
     @Test
     public void bottomTypeIsSubTypeOfAllTypes() {
         var namespaceName = NamespaceName.of("Example", "Project");
@@ -107,6 +113,8 @@ public class TypeCheckerIsSubTypeTests {
         );
     }
 
+    // == Sum types ==
+
     @Test
     public void variantIsSubTypeOfSumType() {
         var namespaceName = NamespaceName.of("Example", "Project");
@@ -226,6 +234,8 @@ public class TypeCheckerIsSubTypeTests {
         assertThat(isSubType(constructedSumType, variantType2, typeInfos), equalTo(false));
     }
 
+    // == Function types ==
+
     @Test
     public void whenFunctionsHaveDifferentPositionalParamCountsThenTheyAreNotSubtypes() {
         var functionType1 = FunctionType.builder()