Narrow handled effect type in TypedTryNode

1 files changed, 3 insertions, 2 deletions

diff --git a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java
index c23511be..7bdfba50 100644
--- a/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java
+++ b/src/test/java/org/shedlang/compiler/typechecker/TypeCheckerTryTests.java
@@ -152,11 +152,12 @@ public class TypeCheckerTryTests {
             );
 
         var error = assertThrows(
-            NotUserDefinedEffectError.class,
+            UnexpectedTypeError.class,
             () -> typeCheckExpression(untyped, context)
         );
 
-        assertThat(error.effect(), equalTo(Effects.IO));
+        assertThat(error.expected(), equalTo(TypeSets.USER_DEFINED_EFFECT));
+        assertThat(error.actual(), equalTo(Types.effectType(Effects.IO)));
     }
 
     @Test