[gcc/devel/rust/master] Type check StructPatternFieldIdentPat

[gcc/devel/rust/master] Type check StructPatternFieldIdentPat

[Thomas Schwinge]

https://gcc.gnu.org/g:48510f443fa1623a3863206536cac0dfa381246f

commit 48510f443fa1623a3863206536cac0dfa381246f
Author: Owen Avery <powerboat9.gamer@gmail.com>
Date:   Wed Apr 26 22:19:40 2023 -0400

    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:
---
 gcc/rust/typecheck/rust-hir-type-check-pattern.cc | 19 +++++++++++++++++--
 1 file changed, 17 insertions(+), 2 deletions(-)

diff --git a/gcc/rust/typecheck/rust-hir-type-check-pattern.cc b/gcc/rust/typecheck/rust-hir-type-check-pattern.cc
index 466f0ae2223..bdd9095b6a6 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;