fix

enso-org · Jan 28, 2025 · 9470816 · 9470816
1 parent 82e4f3e
commit 9470816
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/test/Base_Tests/src/Semantic/Multi_Value_As_Type_Refinement_Spec.enso b/test/Base_Tests/src/Semantic/Multi_Value_As_Type_Refinement_Spec.enso
@@ -89,7 +89,9 @@ add_specs suite_builder =
 
             Test.expect_panic No_Such_Method (b2.a_method)
             b2.b_method.should_equal "B method"
- Test.expect_panic Type_Error (b2:A)
+            # We can still explicitly cast back to A
+            (b2:A).a_method.should_equal "A method"
+
         group_builder.specify "unpacking an intersection type via pattern matching" <|
             ab = make_a_and_b
             case ab of