From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1643) id 2F6693858D32; Mon, 30 Jan 2023 13:23:58 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 2F6693858D32 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1675085038; bh=9cxuxlrnzOhgVj45m/6gjNviZ6Ju8C99mD2RyUMD3lI=; h=From:To:Subject:Date:From; b=I1zzUumQPXsj3RYqJeJ82W5P6oyqQNBrcpMbV8FWwfoSdY17vjT2rdz8+0sGkfapC s40dnG3az4JTTjWGqUuafmy5+NG8aDVDkafTgJJFhqZqHHBFGhO9gVNVlKsAUTwXKF EumNlB/3WQzYdKc59honjoKfj9udHlq9v3JX2xws= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Thomas Schwinge To: gcc-cvs@gcc.gnu.org Subject: [gcc/devel/rust/master] Add type resolution for grouped patterns X-Act-Checkin: gcc X-Git-Author: Owen Avery X-Git-Refname: refs/heads/devel/rust/master X-Git-Oldrev: 248316afc36984015b2674e15dac0c6d40c50b87 X-Git-Newrev: 01a07f7d3959ec8bd4474a6081ebae4454c1a229 Message-Id: <20230130132358.2F6693858D32@sourceware.org> Date: Mon, 30 Jan 2023 13:23:58 +0000 (GMT) List-Id: https://gcc.gnu.org/g:01a07f7d3959ec8bd4474a6081ebae4454c1a229 commit 01a07f7d3959ec8bd4474a6081ebae4454c1a229 Author: Owen Avery Date: Wed Jan 11 11:56:05 2023 -0500 Add type resolution for grouped patterns Signed-off-by: Owen Avery Diff: --- gcc/rust/typecheck/rust-hir-type-check-pattern.cc | 8 +++++--- 1 file 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 9bff8e31aee..2a033ba5191 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