From 48510f443fa1623a3863206536cac0dfa381246f Mon Sep 17 00:00:00 2001 From: Owen Avery Date: Wed, 26 Apr 2023 22:19:40 -0400 Subject: Type check StructPatternFieldIdentPat gcc/rust/ChangeLog: * typecheck/rust-hir-type-check-pattern.cc (TypeCheckPattern::visit): Type check StructPatternFieldIdentPat. Signed-off-by: Owen Avery --- 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 (*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; -- cgit v1.2.1