From 9470816e92b0cf776e6c38ddecd296d87ea1b180 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rados=C5=82aw=20Wa=C5=9Bko?= Date: Tue, 28 Jan 2025 12:10:59 +0100 Subject: [PATCH] fix --- .../src/Semantic/Multi_Value_As_Type_Refinement_Spec.enso | 4 +++- 1 file changed, 3 insertions(+), 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 index 83e8f4eeed97..37bc78622039 100644 --- 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