diff options
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 15 |
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 |