From 87a79dc241771b8b1ab72f27ecd2bcb63c9e8eb8 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Fri, 5 Jan 2024 23:46:58 +0000
Subject: Use upper bound in the absence of lower bounds

---
 .../org/shedlang/compiler/typechecker/TypeCheckerIsSubTypeTests.java  | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/test/java')

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