KJ16609/gcc
1
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2026-02-22 20:01:22 -05:00
Code Issues Packages Projects Releases Wiki Activity

gccrs: Add type resolution for grouped patterns

Browse Source 
gcc/rust/ChangeLog:

	* typecheck/rust-hir-type-check-pattern.cc (TypeCheckPattern::visit): Add proper
	visitor.

Signed-off-by: Owen Avery <powerboat9.gamer@gmail.com>
This commit is contained in:
Owen Avery
2023-01-11 11:56:05 -05:00
committed by Arthur Cohen
parent d5a303cc66
commit 83e5f634d7
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/rust/typecheck/rust-hir-type-check-pattern.cc
View File

@@ -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