resolve: Fix multiple bindings handling in match

gcc/rust/ChangeLog:

	* resolve/rust-ast-resolve-expr.cc (ResolveExpr::visit):
	Push a Product context instead of an Or context.

gcc/testsuite/ChangeLog:

	* rust/compile/multiple_bindings2.rs: New test.

Signed-off-by: Mahmoud Mohamed <mahadelr19@gmail.com>

1 files changed, 6 insertions, 6 deletions

diff --git a/gcc/rust/resolve/rust-ast-resolve-expr.cc b/gcc/rust/resolve/rust-ast-resolve-expr.cc
index ff9f7ef..a6b16f3 100644
--- a/gcc/rust/resolve/rust-ast-resolve-expr.cc
+++ b/gcc/rust/resolve/rust-ast-resolve-expr.cc
@@ -207,10 +207,10 @@ ResolveExpr::visit (AST::IfLetExpr &expr)
   resolver->push_new_type_rib (resolver->get_type_scope ().peek ());
   resolver->push_new_label_rib (resolver->get_type_scope ().peek ());
 
-  // FIXME: this declaration should be removed after refactoring
-  // parse_match_arm_patterns output into an AltPattern
+  // We know expr.get_patterns () has one pattern at most
+  // so there's no reason to handle it like an AltPattern.
   std::vector<PatternBinding> bindings
-    = {PatternBinding (PatternBoundCtx::Or, std::set<Identifier> ())};
+    = {PatternBinding (PatternBoundCtx::Product, std::set<Identifier> ())};
 
   for (auto &pattern : expr.get_patterns ())
     {
@@ -522,10 +522,10 @@ ResolveExpr::visit (AST::MatchExpr &expr)
 	ResolveExpr::go (arm.get_guard_expr ().get (), prefix,
 			 canonical_prefix);
 
-      // FIXME: this declaration should be removed after refactoring
-      // parse_match_arms_patterns output into a single AltPattern
+      // We know expr.get_patterns () has one pattern at most
+      // so there's no reason to handle it like an AltPattern.
       std::vector<PatternBinding> bindings
-	= {PatternBinding (PatternBoundCtx::Or, std::set<Identifier> ())};
+	= {PatternBinding (PatternBoundCtx::Product, std::set<Identifier> ())};
 
       // insert any possible new patterns
       for (auto &pattern : arm.get_patterns ())