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 1221bcc6244761596ebed58bac11c55abab31b63..b5a115f5945f7dc7db07d30028ba27808150db77 100644 (file)
--- 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;