[COMMITTED 037/143] gccrs: Add IdentifierPattern subpattern support for ClosureParamInfer

[arthur . cohen]

From: Yap Zhi Heng <yapz...@gmail.com>

gcc/rust/ChangeLog:

        * 
typecheck/rust-hir-type-check-pattern.cc(ClosureParamInfer(IdentifierPattern)):
        Resolve subpattern types for IdentifierPattern.

Signed-off-by: Yap Zhi Heng <yapz...@gmail.com>
---
 gcc/rust/typecheck/rust-hir-type-check-pattern.cc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/gcc/rust/typecheck/rust-hir-type-check-pattern.cc 
b/gcc/rust/typecheck/rust-hir-type-check-pattern.cc
index 0930c2233e6..b34679eb6b4 100644
--- a/gcc/rust/typecheck/rust-hir-type-check-pattern.cc
+++ b/gcc/rust/typecheck/rust-hir-type-check-pattern.cc
@@ -814,6 +814,11 @@ ClosureParamInfer::visit (HIR::WildcardPattern &pattern)
 void
 ClosureParamInfer::visit (HIR::IdentifierPattern &pattern)
 {
+  if (pattern.has_subpattern ())
+    {
+      ClosureParamInfer::Resolve (pattern.get_subpattern ());
+    }
+
   HirId id = pattern.get_mappings ().get_hirid ();
   infered = new TyTy::InferType (id, TyTy::InferType::InferTypeKind::GENERAL,
                                 TyTy::InferType::TypeHint::Default (),
-- 
2.50.1