diff options
| author | Owen Avery <powerboat9.gamer@gmail.com> | 2023-04-26 22:19:40 -0400 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2024-01-16 18:34:15 +0100 |
| commit | 46eb2b751f1cbcab35972e57abcecc31b13d0889 (patch) | |
| tree | 72bd56418dcb25f116026548e517cda07635588d /gcc | |
| parent | 532d74c192779e1d0462e207cbfcf7f5db0c249a (diff) | |
| download | gcc-46eb2b751f1cbcab35972e57abcecc31b13d0889.zip gcc-46eb2b751f1cbcab35972e57abcecc31b13d0889.tar.gz gcc-46eb2b751f1cbcab35972e57abcecc31b13d0889.tar.bz2 | |
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>
Diffstat (limited to 'gcc')
| -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 1221bcc..b5a115f 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; |