Support inferring return type from multiple return statements

1 files changed, 7 insertions, 8 deletions

diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
index 0ceca376..15623e98 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
@@ -682,14 +682,13 @@ public class TypeChecker {
                 );
             }
             case ReturnTypeState.ImplicitLowerBound implicitLowerBound -> {
-                throw new UnsupportedOperationException("TODO");
-//                var supertype = Types.commonSupertype(List.of(
-//                    implicitLowerBound.type(),
-//                    returnValueType
-//                ));
-//                context = context.updateReturnTypeState(
-//                    ReturnTypeState.implicitLowerBound(supertype)
-//                );
+                var supertype = Types.commonSupertype(List.of(
+                    implicitLowerBound.type(),
+                    returnValueType
+                ));
+                context = context.updateReturnTypeState(
+                    ReturnTypeState.implicitLowerBound(supertype)
+                );
             }
             case ReturnTypeState.NotInFunction notInFunction -> {
                 // This should be syntactically impossible, but since we only have