From: Owen Avery <powerboat9.gamer@gmail.com>
Date: Wed, 11 Jan 2023 16:56:05 +0000 (-0500)
Subject: gccrs: Add type resolution for grouped patterns
X-Git-Tag: basepoints/gcc-14~166
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=83e5f634d746a9b57b1c63eb33e072f53f61995d;p=thirdparty%2Fgcc.git

gccrs: Add type resolution for grouped patterns

gcc/rust/ChangeLog:

	* typecheck/rust-hir-type-check-pattern.cc (TypeCheckPattern::visit): Add proper
	visitor.

Signed-off-by: Owen Avery <powerboat9.gamer@gmail.com>
---

diff --git a/gcc/rust/typecheck/rust-hir-type-check-pattern.cc b/gcc/rust/typecheck/rust-hir-type-check-pattern.cc
index b017a851b5d4..393f4158003e 100644
--- a/gcc/rust/typecheck/rust-hir-type-check-pattern.cc
+++ b/gcc/rust/typecheck/rust-hir-type-check-pattern.cc
@@ -387,10 +387,12 @@ TypeCheckPattern::visit (HIR::IdentifierPattern &)
 }
 
 void
-TypeCheckPattern::visit (HIR::GroupedPattern &)
+TypeCheckPattern::visit (HIR::GroupedPattern &pattern)
 {
-  // TODO
-  gcc_unreachable ();
+  TyTy::BaseType *inner_ty
+    = TypeCheckPattern::Resolve (pattern.get_item ().get (), parent);
+  infered = inner_ty->clone ();
+  infered->set_ref (pattern.get_pattern_mappings ().get_hirid ());
 }
 
 void