https://gcc.gnu.org/g:d89c2d2575da9a6ed1368d8d73bdae1e5c034667
commit r16-4791-gd89c2d2575da9a6ed1368d8d73bdae1e5c034667 Author: Yap Zhi Heng <[email protected]> Date: Tue Aug 12 22:02:08 2025 +0800 gccrs: Add IdentifierPattern subpattern support for ClosureParamInfer gcc/rust/ChangeLog: * typecheck/rust-hir-type-check-pattern.cc(ClosureParamInfer(IdentifierPattern)): Resolve subpattern types for IdentifierPattern. Signed-off-by: Yap Zhi Heng <[email protected]> Diff: --- 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 0930c2233e63..b34679eb6b40 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 (),
