Use upper bound in the absence of lower bounds

1 files changed, 2 insertions, 2 deletions

diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java
index 7edff026..8f6af248 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java
@@ -576,7 +576,7 @@ public class TypeCheckerIsSubTypeTests {
     // == Constraint solving ==
 
     @Test
-    public void whenTypeParamHasUpperBoundThenTypeParamIsResolvedToBottom() {
+    public void whenTypeParamHasUpperBoundThenTypeParamIsResolvedToUpperBound() {
         var typeParam = TypeParam.forStructType(
             Types.struct(NamespaceName.of("Example"), "Struct"),
             "T"
@@ -587,7 +587,7 @@ public class TypeCheckerIsSubTypeTests {
         var result = constraints.solve(Sources.NULL);
 
         assertThat(result, equalTo(TypeSubstitutionMap.of(
-            Map.entry(typeParam, Types.BOTTOM)
+            Map.entry(typeParam, Types.INT)
         )));
     }