Pattern matching a EnsoMultiValue ignores 2nd & co. types

[JaroslavTulach]

Pattern matching on type on first value of a EnsoMultiValue works, but we want to match on other values as well:

diff --git test/Base_Tests/src/Semantic/Multi_Value_Convert_Spec.enso test/Base_Tests/src/Semantic/Multi_Value_Convert_Spec.enso
index ca768daaa0..2e54642532 100644
--- test/Base_Tests/src/Semantic/Multi_Value_Convert_Spec.enso
+++ test/Base_Tests/src/Semantic/Multi_Value_Convert_Spec.enso
@@ -84,6 +84,41 @@ add_specs suite_builder =
                 _ -> "what?"
             c1 . should_equal "c"
 
+        group_builder.specify "case of second" <|
+            abc = 3.14 : A&B&C
+            c1 = case abc of
+                b:B -> b.b
+                a:A -> a.a
+                c:C -> c.c
+                _ -> "what?"
+            c1 . should_equal "b"
+
+        group_builder.specify "case of third" <|
+            abc = 3.14 : A&B&C
+            c1 = case abc of
+                c:C -> c.c
+                b:B -> b.b
+                a:A -> a.a
+                _ -> "what?"
+            c1 . should_equal "c"
+
+        group_builder.specify "case of second from extra types" <|
+            abc = 3.14 : A&B&C
+            c1 = case abc:A of
+                b:B -> b.b
+                a:A -> a.a
+                c:C -> c.c
+                _ -> "what?"
+            c1 . should_equal "b"
+
+        group_builder.specify "case of third  from extra types" <|
+            abc = 3.14 : A&B&C
+            c1 = case abc:A of
+                c:C -> c.c
+                b:B -> b.b
+                a:A -> a.a
+                _ -> "what?"
+            c1 . should_equal "c"
 
 main filter=Nothing =
     suite = Test.build suite_builder->

Originally posted by @JaroslavTulach in #11600 (comment)

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2024-12-13):

Progress: - case of fixes: #11850

• analyzing native-image failure: Upgrade Scala to 2.13.15 #11853 (comment)
• investigating `builtins: Builtins expose Enso methods #11687
• proposal for service registrations: Register services in package.yaml instead via ServiceLoader #11868
• standups (discussing buitins & their methods), planning It should be finished by 2024-12-13.

[enso-bot]

Jaroslav Tulach reports a new STANDUP for the last Saturday (2024-12-14):

Progress: - updating if_then_else

• analyzing duplicates in IR: 41162aa It should be finished by 2024-12-14.