diff options
| author | Owen Avery <powerboat9.gamer@gmail.com> | 2023-01-11 11:56:05 -0500 |
|---|---|---|
| committer | Owen Avery <powerboat9.gamer@gmail.com> | 2023-01-25 13:12:28 -0500 |
| commit | 01a07f7d3959ec8bd4474a6081ebae4454c1a229 (patch) | |
| tree | dfde57cc372423d880f94631ea80d9ef1e2c2b5f /gcc | |
| parent | 248316afc36984015b2674e15dac0c6d40c50b87 (diff) | |
| download | gcc-01a07f7d3959ec8bd4474a6081ebae4454c1a229.zip gcc-01a07f7d3959ec8bd4474a6081ebae4454c1a229.tar.gz gcc-01a07f7d3959ec8bd4474a6081ebae4454c1a229.tar.bz2 | |
Add type resolution for grouped patterns
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 | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/rust/typecheck/rust-hir-type-check-pattern.cc b/gcc/rust/typecheck/rust-hir-type-check-pattern.cc index 9bff8e3..2a033ba 100644 --- a/gcc/rust/typecheck/rust-hir-type-check-pattern.cc +++ b/gcc/rust/typecheck/rust-hir-type-check-pattern.cc @@ -387,10 +387,12 @@ TypeCheckPattern::visit (HIR::IdentifierPattern &) } void -TypeCheckPattern::visit (HIR::GroupedPattern &) +TypeCheckPattern::visit (HIR::GroupedPattern &pattern) { - // TODO - gcc_unreachable (); + TyTy::BaseType *inner_ty + = TypeCheckPattern::Resolve (pattern.get_item ().get (), parent); + infered = inner_ty->clone (); + infered->set_ref (pattern.get_pattern_mappings ().get_hirid ()); } void |