diff options
author | Owen Avery <powerboat9.gamer@gmail.com> | 2023-04-26 22:19:40 -0400 |
---|---|---|
committer | Philip Herron <philip.herron@embecosm.com> | 2023-04-28 09:18:06 +0000 |
commit | 48510f443fa1623a3863206536cac0dfa381246f (patch) | |
tree | 2862a94df09b88c91f453aaaca0526d778886634 | |
parent | 4051d11a7d06e475bccf6c89ef01c605445e210a (diff) | |
download | gcc-48510f443fa1623a3863206536cac0dfa381246f.tar.gz |
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>
-rw-r--r-- | gcc/rust/typecheck/rust-hir-type-check-pattern.cc | 19 |
1 files 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; |