From: Owen Avery <powerboat9.gamer@gmail.com>
Date: Thu, 27 Apr 2023 02:19:40 +0000 (-0400)
Subject: gccrs: Type check StructPatternFieldIdentPat
X-Git-Tag: basepoints/gcc-15~2603
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=46eb2b751f1cbcab35972e57abcecc31b13d0889;p=thirdparty%2Fgcc.git

gccrs: Type check StructPatternFieldIdentPat

gcc/rust/ChangeLog:

	* typecheck/rust-hir-type-check-pattern.cc
	(TypeCheckPattern::visit): Type check StructPatternFieldIdentPat.

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 1221bcc62447..b5a115f5945f 100644
--- a/gcc/rust/typecheck/rust-hir-type-check-pattern.cc
+++ b/gcc/rust/typecheck/rust-hir-type-check-pattern.cc
@@ -197,8 +197,23 @@ TypeCheckPattern::visit (HIR::StructPattern &pattern)
 	  break;
 
 	  case HIR::StructPatternField::ItemType::IDENT_PAT: {
-	    // TODO
-	    gcc_unreachable ();
+	    HIR::StructPatternFieldIdentPat &ident
+	      = static_cast<HIR::StructPatternFieldIdentPat &> (*field.get ());
+
+	    TyTy::StructFieldType *field = nullptr;
+	    if (!variant->lookup_field (ident.get_identifier (), &field,
+					nullptr))
+	      {
+		rust_error_at (ident.get_locus (),
+			       "variant %s does not have a field named %s",
+			       variant->get_identifier ().c_str (),
+			       ident.get_identifier ().c_str ());
+		break;
+	      }
+	    named_fields.push_back (ident.get_identifier ());
+
+	    TyTy::BaseType *fty = field->get_field_type ();
+	    TypeCheckPattern::Resolve (ident.get_pattern ().get (), fty);
 	  }
 	  break;